Memo Functions, Polytypically! (2000)

Cached

Download Links

by Ralf Hinze
Venue:Proceedings of the 2nd Workshop on Generic Programming, Ponte de
Citations:13 - 5 self

Documents Related by Co-Citation

54 98 Language and Libraries – Haskell - 2003
96 A New Approach to Generic Functional Programming – Ralf Hinze - 1999
178 PolyP - a polytypic programming language extension – Patrik Jansson, Johan Jeuring - 1997
79 Nested datatypes – Richard Bird, Lambert Meertens - 1998
153 Type classes with functional dependencies – Mark P. Jones - 2000
27 Stretching the storage manager: weak pointers and stable names in Haskell – Simon Peyton Jones, Simon Marlow, Conal Elliott - 1999
12 Representations of First Order Function Types as Terminal Coalgebras – Thorsten Altenkirch - 2001
84 Generic programming: An introduction – Patrik Jansson, Johan Jeuring, Lambert Meertens - 1999
76 Flexible Type Analysis – Karl Crary, Stephanie Weirich - 1999
107 Polytypic Values Possess Polykinded Types – Ralf Hinze - 2000
260 Compiling polymorphism using intensional type analysis – Robert Harper, Greg Morrisett - 1995
121 Type classes in Haskell – Cordelia Hall, Kevin Hammond, Simon Peyton Jones, Philip Wadler - 1996
121 Implementing Type Classes – John Peterson, Mark Jones
142 Intensional Polymorphism in Type-Erasure Semantics – Karl Crary, Stephanie Weirich, Greg Morrisett - 2002
326 Theorems for free! – Philip Wadler - 1989
9 der Woude, J.: Category theory as coherently constructive lattice theory – R Backhouse, M Bijsterveld, R van Geldrop, van - 1994
31 Generalizing Generalized Tries – Ralf Hinze - 1999
90 Memo” functions and machine learning – D Michie - 1968
268 A Type-Theoretic Approach to Higher-Order Modules with Sharing – Robert Harper, Mark Lillibridge - 1994