Once Upon a Polymorphic Type (1998)

Cached

Download Links

by Keith Wansbrough , Simon Peyton Jones
Citations:41 - 6 self

Documents Related by Co-Citation

87 Once Upon a Type – David Turner, Philip Wadler, Christian Mossin - 1995
575 Perspectives on Program Analysis – Flemming Nielson - 1996
374 Enforcing High-Level Protocols in Low-Level Software – Robert DeLine, Manuel Fahndrich - 2001
137 types can change the world – Linear - 1990
1353 Monads for functional programming – Philip Wadler - 1995
561 The implementation of functional programming languages – S L Peyton Jones - 1987
766 Notions of Computation and Monads – Eugenio Moggi - 1991
603 Automatic Discovery of Linear Restraints Among Variables of a Program – Patrick Cousot, Nicolas Halbwachs - 1978
985 A theory of type polymorphism in programming – Robin Milner - 1978