Generalizing Generalized Tries (1999)

Cached

Download Links

by Ralf Hinze
Citations:31 - 8 self

Active Bibliography

13 Polytypic Programming With Ease – Ralf Hinze - 1999
96 A New Approach to Generic Functional Programming – Ralf Hinze - 1999
34 Generalised Folds for Nested Datatypes – Richard Bird, Ross Paterson - 1999
30 Generic Haskell: applications – Ralf Hinze, Johan Jeuring - 2003
11 Programming With Types – Stephanie Claudene Weirich - 2002
65 Generic Haskell: practice and theory – Ralf Hinze, Johan Jeuring - 2003
13 Polytypic Functions Over Nested Datatypes – Ralf Hinze - 1999
4 Generic Operations on Nested Datatypes – Ian Bayley - 2001
24 Manufacturing Datatypes – Ralf Hinze - 1999
Yet Another Generic Haskell – Ralf Lämmel, Joost Visser
1 Practical Type Inference for Polymorphic Recursion: an Implementation in Haskell – Cristiano Vasconcellos, Lucília Figueiredo, Carlos Camarão - 2003
31 The next 700 data description languages – Kathleen Fisher, Yitzhak Mandelbaum, David Walker - 2006
107 Polytypic Values Possess Polykinded Types – Ralf Hinze - 2000
Perfect Trees and Bit-Reversal Permutations – Funct I Onal Pearl, Perfect Trees, Bit-reversal Permutations, Ralf Hinze - 1999
4 Disciplined, efficient, generalised folds for nested datatypes – Clare Martin, Jeremy Gibbons, Ian Bayley
68 De Bruijn notation as a nested datatype – Richard S. Bird, Ross Paterson, Sir Arthur, Conan Doyle - 1999
Haskell Programming with Nested Types: A Principled Approach † – Patricia Johann, Neil Ghani
13 Memo Functions, Polytypically! – Ralf Hinze - 2000
Adjoint Folds and Unfolds Or: Scything Through the Thicket of Morphisms – Ralf Hinze