Polytypic programming (2000)

Cached

Download Links

by Patrik Jansson
Citations:93 - 12 self

Documents Related by Co-Citation

178 PolyP - a polytypic programming language extension – Patrik Jansson, Johan Jeuring - 1997
96 A New Approach to Generic Functional Programming – Ralf Hinze - 1999
105 Data structures and program transformation – G Malcolm - 1990
84 Generic programming: An introduction – Patrik Jansson, Johan Jeuring, Lambert Meertens - 1999
41 Calculate Polytypically! – Lambert Meertens - 1996
18 Oege de Moor, and Paul Hoogendijk. Generic functional programming with types and relations – Richard Bird - 1996
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
299 Programming with bananas, lenses, envelopes and barbed wire – Erik Meijer, Maarten Fokkinga, Ross Paterson - 1991
34 Shapely Types and Shape Polymorphism – C. Barry Jay, J.R.B. Cockett - 1994
57 Deterministic, Error-Correcting Combinator Parsers – S. Doaitse Swierstra, Luc Duponcheel - 1996
403 Deforestation: Transforming programs to eliminate trees – Philip Wadler - 1990
28 Polytypic Pattern Matching – Johan Jeuring - 1995
25 A Generic Theory of Datatypes – Paul Hoogendijk - 1997
60 A Semantics for Shape – C. Barry Jay - 1995
65 Generic Haskell: practice and theory – Ralf Hinze, Johan Jeuring - 2003
326 Theorems for free! – Philip Wadler - 1989
137 Scrap Your Boilerplate: A Practical Design Pattern for Generic Programming – Ralf Lämmel, Simon Peyton Jones - 2003
13 PolyLib — a polytypic function library – Patrik Jansson, Johan Jeuring - 1998