Generalizing Generalized Tries (1999)

Cached

Download Links

by Ralf Hinze
Citations:31 - 8 self

Documents Related by Co-Citation

259 Compiling polymorphism using intensional type analysis – Robert Harper, Greg Morrisett - 1995
79 Nested datatypes – Richard Bird, Lambert Meertens - 1998
141 Intensional Polymorphism in Type-Erasure Semantics – Karl Crary, Stephanie Weirich, Greg Morrisett - 2002
94 A New Approach to Generic Functional Programming – Ralf Hinze - 1999
106 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
58 Type-Indexed Data Types – Ralf Hinze, Johan Jeuring, Andres Löh - 2004
174 PolyP - a polytypic programming language extension – Patrik Jansson, Johan Jeuring - 1997
298 Programming with bananas, lenses, envelopes and barbed wire – Erik Meijer, Maarten Fokkinga, Ross Paterson - 1991
11 A generalization of the trie data structure – R H Connelly, F L Morris - 1995
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
308 QuickCheck: A Lightweight Tool for Random Testing of Haskell Programs – Koen Claessen, John Hughes - 2000
92 Polytypic programming – Patrik Jansson - 2000
76 A Comparative Study of Language Support for Generic Programming – Ronald Garcia, Jaakko Järvi, Andrew Lumsdaine, Jeremy Siek, Jeremiah Willcock - 2003
34 Generalised Folds for Nested Datatypes – Richard Bird, Ross Paterson - 1999