PolyP - a polytypic programming language extension (1997)

by Patrik Jansson , Johan Jeuring
Venue:POPL '97: The 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
Citations:176 - 28 self

Documents Related by Co-Citation

96 A New Approach to Generic Functional Programming – Ralf Hinze - 1999
121 Implementing Type Classes – John Peterson, Mark Jones
107 Polytypic Values Possess Polykinded Types – Ralf Hinze - 2000
79 Nested datatypes – Richard Bird, Lambert Meertens - 1998
84 Generic programming: An introduction – Patrik Jansson, Johan Jeuring, Lambert Meertens - 1999
93 Polytypic programming – Patrik Jansson - 2000
27 Functorial ML – G. Belle, C. B. Jay, E. Moggi - 1996
142 Intensional Polymorphism in Type-Erasure Semantics – Karl Crary, Stephanie Weirich, Greg Morrisett - 2002
15 Analytical and Structural Polymorphism Expressed Using Patterns Over Types – Fritz Ruehr - 1992
326 Theorems for free! – Philip Wadler - 1989
18 Oege de Moor, and Paul Hoogendijk. Generic functional programming with types and relations – Richard Bird - 1996
68 De Bruijn notation as a nested datatype – Richard S. Bird, Ross Paterson, Sir Arthur, Conan Doyle - 1999
40 A Generic Programming Extension for Haskell – Ralf Hinze - 1999
41 Calculate Polytypically! – Lambert Meertens - 1996
260 Compiling polymorphism using intensional type analysis – Robert Harper, Greg Morrisett - 1995
29 Dealing with Large Bananas – Ralf Lammel, Joost Visser, Jan Kort - 2000
76 Inductive Sets and Families in Martin-Löf's Type Theory and Their Set-Theoretic Semantics – Peter Dybjer - 1991
13 Polytypic Programming With Ease – Ralf Hinze - 1999
60 A Semantics for Shape – C. Barry Jay - 1995