Generalizing Generalized Tries (1999)

Cached

Download Links

by Ralf Hinze
Citations:31 - 8 self

Documents Related by Co-Citation

260 Compiling polymorphism using intensional type analysis – Robert Harper, Greg Morrisett - 1995
79 Nested datatypes – Richard Bird, Lambert Meertens - 1998
142 Intensional Polymorphism in Type-Erasure Semantics – Karl Crary, Stephanie Weirich, Greg Morrisett - 2002
96 A New Approach to Generic Functional Programming – Ralf Hinze - 1999
107 Polytypic Values Possess Polykinded Types – Ralf Hinze - 2000
76 Flexible Type Analysis – Karl Crary, Stephanie Weirich - 1999
84 Generic programming: An introduction – Patrik Jansson, Johan Jeuring, Lambert Meertens - 1999
59 Type-Indexed Data Types – Ralf Hinze, Johan Jeuring, Andres Löh - 2004
178 PolyP - a polytypic programming language extension – Patrik Jansson, Johan Jeuring - 1997
299 Programming with bananas, lenses, envelopes and barbed wire – Erik Meijer, Maarten Fokkinga, Ross Paterson - 1991
93 Polytypic programming – Patrik Jansson - 2000
53 Scrap your boilerplate: a practical approach to generic programming – Ralf Lämmel, Simon Peyton Jones - 2003
226 Functional Data Structures – Chris Okasaki - 1996
77 Monadic Presentations of Lambda Terms Using Generalized Inductive Types – Thorsten Altenkirch, Bernhard Reus - 1999
153 Type classes with functional dependencies – Mark P. Jones - 2000
309 QuickCheck: A Lightweight Tool for Random Testing of Haskell Programs – Koen Claessen, John Hughes - 2000
76 A Comparative Study of Language Support for Generic Programming – Ronald Garcia, Jaakko Järvi, Andrew Lumsdaine, Jeremy Siek, Jeremiah Willcock - 2003
70 Functional Programming with Overloading and Higher-Order Polymorphism – Mark P. Jones - 1995
43 Encoding types in ML-like languages – Zhe Yang - 1998