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

Documents Related by Co-Citation

455 Comprehending Monads – Philip Wadler - 1992
1305 Monads for functional programming – Philip Wadler - 1995
344 How to Make Ad-Hoc Polymorphism Less Ad Hoc – Philip Wadler, Stephen Blott - 1988
935 A theory of type polymorphism in programming – Robin Milner - 1978
1559 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990
132 Qualified Types: Theory and Practice – Mark P Jones - 1994
53 The essence of functional programming (invited talk – Philip Wadler - 1992
98 Higher-Order Functions for parsing – Graham Hutton - 1993
9 The Glasgow Haskell Compiler: A retrospective – C V Hall, K Hammond, W Partain, S L Peyton Jones, P Wadler - 1992
140 The principal type-scheme of an object in combinatory logic – J Roger Hindley - 1969
63 editors. Report on the Programming Language Haskell 98. A non-strict Purely Functional Language – S Peyton Jones, J Hughes - 1999
361 Towards a theory of type structure, in – J C Reynolds - 1974
89 Coherence for Qualified Types – Mark P. Jones - 1993
20 Building interpreters by composing monads – G L Steele Jr - 1994
50 Simplifying and Improving Qualified Types – Mark P. Jones - 1995
436 Computational Lambda-Calculus and Monads – Eugenio Moggi - 1988
41 A functional theory of exceptions – M Spivey - 1990
259 Compiling polymorphism using intensional type analysis – Robert Harper, Greg Morrisett - 1995
298 Programming with bananas, lenses, envelopes and barbed wire – Erik Meijer, Maarten Fokkinga, Ross Paterson - 1991