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:190 - 14 self

Documents Related by Co-Citation

505 Comprehending Monads – Philip Wadler - 1992
1436 Monads for functional programming – Philip Wadler - 1995
1683 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990
398 How to make ad-hoc polymorphism less adhoc – Philip Wadler, Stephen Blott - 1989
1042 A theory of type polymorphism in programming – Robin Milner - 1978
583 The Implementation of Functional Programming Languages – Simon L Peyton Jones - 1987
480 Computational Lambda-Calculus and Monads – Eugenio Moggi - 1988
138 Qualified types: theory and practice – M P Jones - 2003
601 Term Rewriting Systems – J. W. Klop - 1992