Functional Programming with Overloading and Higher-Order Polymorphism (1995)

Cached

Download Links

by Mark P. Jones
Citations:70 - 3 self

Documents Related by Co-Citation

1311 Monads for functional programming – Philip Wadler - 1995
175 PolyP - a polytypic programming language extension – Patrik Jansson, Johan Jeuring - 1997
301 Programming with bananas, lenses, envelopes and barbed wire – Erik Meijer, Maarten Fokkinga, Ross Paterson - 1991
95 A New Approach to Generic Functional Programming – Ralf Hinze - 1999
457 Comprehending Monads – Philip Wadler - 1992
1566 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990
566 Term Rewriting Systems – J. W. Klop - 1992
518 Lambda Calculi with Types – Henk Barendregt, S. Abramsky, D. M. Gabbay, T. S. E. Maibaum, H. P. Barendregt - 1992
938 A theory of type polymorphism in programming – Robin Milner - 1978