First-class Polymorphism with Type Inference (0)

Cached

Download Links

by Mark P. Jones
Citations:47 - 0 self

Documents Related by Co-Citation

938 A theory of type polymorphism in programming – Robin Milner - 1978
1311 Monads for functional programming – Philip Wadler - 1995
1566 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990
604 The Definition of Standard ML (Revised – R Milner, M Tofte, R Harper, D MacQueen - 1997
731 Notions of Computation and Monads – Eugenio Moggi - 1991
95 Putting Type Annotations to Work – Martin Odersky, Konstantin Läufer - 1996
759 On understanding types, data abstraction, and polymorphism – Luca Cardelli, Peter Wegner - 1985
1118 The Lambda Calculus: its Syntax and Semantics – H P Barendregt - 1984
589 From System F to Typed Assembly Language – Greg Morrisett, David Walker, Karl Crary, Neal Glew - 1998