Let Should Not Be Generalised Dimitrios Vytiniotis

First Page		Document Content
Date: 2009-11-12 10:54:14 Computing Type class Type inference Type system Hindley–Milner Generalized algebraic data type Kind Parametric polymorphism Constraint Type theory Software engineering Programming language theory		Let Should Not Be Generalised Dimitrios Vytiniotis Add to Reading List Source URL: research.microsoft.com Download Document from Source Website File Size: 242,62 KB Share Document on Facebook

	Parametric Polymorphism Through Run-time Sealing or, Theorems for Low, Low Prices! Amal Ahmed Lindsey Kuper Jacob Matthews DocID: 1sfAv - View Document
	Type-Based Reasoning about Efficiency D. Seidel∗ J. Voigtl¨ander DocID: 1r6EG - View Document
	New Applications of Parametricity Janis Voigtl¨ander Technische Universit¨ at Dresden ISS-AiPL’09 DocID: 1qznc - View Document
	How to make ad-hoc polymorphism less ad hoc Philip Wadler and Stephen Blott University of Glasgow OctoberAbstract DocID: 1q0rF - View Document
	Technische Universität Dresden Fakultät Informatik DIPLOMARBEIT Free Theorems for Sublanguages of Haskell DocID: 1pKrS - View Document