Types, Abstraction, and Parametric Polymorphism, Part 2 (1991)

Cached

Download Links

by QingMing Ma , John C. Reynolds
Citations:54 - 1 self

Documents Related by Co-Citation

125 Formal Parametric Polymorphism – Martin Abadi , Luca Cardelli, Pierre-Louis Curien - 1993
370 Types, abstraction and parametric polymorphism – John C Reynolds - 1983
24 Notes on Sconing and Relators – John C. Mitchell, Andre Scedrov - 1993
767 On understanding types, data abstraction, and polymorphism – Luca Cardelli, Peter Wegner - 1985
1581 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990
734 Notions of Computation and Monads – Eugenio Moggi - 1991
293 Abstract types have existential type – John C Mitchell, Gordon D Plotkin - 1988
595 From System F to Typed Assembly Language – Greg Morrisett, David Walker, Karl Crary, Neal Glew - 1998
548 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992