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

Cached

Download Links

by Mark P. Jones
Citations:69 - 3 self

Documents Related by Co-Citation

174 PolyP - a polytypic programming language extension – Patrik Jansson, Johan Jeuring - 1997
1305 Monads for functional programming – Philip Wadler - 1995
94 A New Approach to Generic Functional Programming – Ralf Hinze - 1999
298 Programming with bananas, lenses, envelopes and barbed wire – Erik Meijer, Maarten Fokkinga, Ross Paterson - 1991
226 Functional Data Structures – Chris Okasaki - 1996
79 Nested datatypes – Richard Bird, Lambert Meertens - 1998
41 Calculate Polytypically! – Lambert Meertens - 1996
95 Bananas in Space: Extending Fold and Unfold to Exponential Types – Erik Meijer, Graham Hutton - 1995
40 A Generic Programming Extension for Haskell – Ralf Hinze - 1999
9 PolyLib—A library of polytypic functions – P Jansson, J Jeuring - 1998
92 Polytypic programming – Patrik Jansson - 2000
31 Category Theoretic Approach to Data Types – T Hagino - 1987
7 international conference on mathematics of program construction – Fourth
9 Nested datatypes. Pages 52–67 of – Richard Bird, Lambert Meertens - 1998
141 Intensional Polymorphism in Type-Erasure Semantics – Karl Crary, Stephanie Weirich, Greg Morrisett - 2002
178 A System of Constructor Classes: Overloading and Implicit Higher-Order Polymorphism – Mark P. Jones - 1995
49 Merging Monads and Folds for Functional Programming – Erik Meijer, Johan Jeuring - 1995
326 Theorems for free! – Philip Wadler - 1989
455 Comprehending Monads – Philip Wadler - 1992