A New Approach to Generic Functional Programming (1999)

by Ralf Hinze
Venue:In The 27th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
Citations:96 - 13 self

Documents Related by Co-Citation

178 PolyP - a polytypic programming language extension – Patrik Jansson, Johan Jeuring - 1997
107 Polytypic Values Possess Polykinded Types – Ralf Hinze - 2000
40 A Generic Programming Extension for Haskell – Ralf Hinze - 1999
79 Nested datatypes – Richard Bird, Lambert Meertens - 1998
121 Implementing Type Classes – John Peterson, Mark Jones
84 Generic programming: An introduction – Patrik Jansson, Johan Jeuring, Lambert Meertens - 1999
70 Functional Programming with Overloading and Higher-Order Polymorphism – Mark P. Jones - 1995
260 Compiling polymorphism using intensional type analysis – Robert Harper, Greg Morrisett - 1995
142 Intensional Polymorphism in Type-Erasure Semantics – Karl Crary, Stephanie Weirich, Greg Morrisett - 2002
41 Calculate Polytypically! – Lambert Meertens - 1996
18 Oege de Moor, and Paul Hoogendijk. Generic functional programming with types and relations – Richard Bird - 1996
226 Functional Data Structures – Chris Okasaki - 1996
299 Programming with bananas, lenses, envelopes and barbed wire – Erik Meijer, Maarten Fokkinga, Ross Paterson - 1991
29 Dealing with Large Bananas – Ralf Lammel, Joost Visser, Jan Kort - 2000
81 Implicit parameters: dynamic scoping with static types – Jeffrey R. Lewis, Mark B. Shields, Erik Meijert, John Launchbury - 2000
15 Analytical and Structural Polymorphism Expressed Using Patterns Over Types – Fritz Ruehr - 1992
86 Polymorphic Type Inference – D Leivant - 1983
326 Theorems for free! – Philip Wadler - 1989
28 Polytypic Pattern Matching – Johan Jeuring - 1995