A System of Constructor Classes: Overloading and Implicit Higher-Order Polymorphism (1995)

Cached

Download Links

by Mark P. Jones
Venue:Journal of functional programming
Citations:183 - 14 self

Documents Related by Co-Citation

1318 Monads for functional programming – Philip Wadler - 1995
944 A theory of type polymorphism in programming – Robin Milner - 1978
1581 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990
459 Comprehending Monads – Philip Wadler - 1992
347 How to make ad-hoc polymorphism less adhoc – Philip Wadler, Stephen Blott - 1989
542 The Implementation of Functional Programming Languages – S L Peyton Jones - 1987
445 Computational Lambda-Calculus and Monads – Eugenio Moggi - 1988
1121 The Lambda Calculus, its Syntax and Semantics – H P Barendregt - 1981
520 Lambda Calculi with Types – Henk Barendregt, S. Abramsky, D. M. Gabbay, T. S. E. Maibaum, H. P. Barendregt - 1992