Polytypic programming (2000)

Cached

Download Links

by Patrik Jansson
Citations:92 - 12 self

Documents Related by Co-Citation

174 PolyP - a polytypic programming language extension – Patrik Jansson, Johan Jeuring - 1997
94 A New Approach to Generic Functional Programming – Ralf Hinze - 1999
51 Typed Combinators for Generic Traversal – Ralf Lämmel, Joost Visser - 2002
41 Calculate Polytypically! – Lambert Meertens - 1996
18 Oege de Moor, and Paul Hoogendijk. Generic functional programming with types and relations – Richard Bird - 1996
69 Functional Programming with Overloading and Higher-Order Polymorphism – Mark P. Jones - 1995
259 Compiling polymorphism using intensional type analysis – Robert Harper, Greg Morrisett - 1995
326 Theorems for free! – Philip Wadler - 1989
105 Data structures and program transformation – G Malcolm - 1990
34 Shapely Types and Shape Polymorphism – C. Barry Jay, J.R.B. Cockett - 1994
109 Building Program Optimizers with Rewriting Strategies – Eelco Visser, Zine-el-Abidine, Andrew Tolmach - 1998
57 Deterministic, Error-Correcting Combinator Parsers – S. Doaitse Swierstra, Luc Duponcheel - 1996
362 Types, Abstraction and Parametric Polymorphism – J C Reynolds - 1983
298 Programming with bananas, lenses, envelopes and barbed wire – Erik Meijer, Maarten Fokkinga, Ross Paterson - 1991
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
135 Scrap Your Boilerplate: A Practical Design Pattern for Generic Programming – Ralf Lämmel, Simon Peyton Jones - 2003