Active Bibliography

13 Polytypic Programming With Ease – Ralf Hinze - 1999
107 Polytypic Values Possess Polykinded Types – Ralf Hinze - 2000
8 A Simple Implementation Technique for Priority Search Queues – Ralf Hinze - 2001
13 Memo Functions, Polytypically! – Ralf Hinze - 2000
31 Generalizing Generalized Tries – Ralf Hinze - 1999
Haskell Programming with Nested Types: A Principled Approach † – Patricia Johann, Neil Ghani
4 Disciplined, efficient, generalised folds for nested datatypes – Clare Martin, Jeremy Gibbons, Ian Bayley
65 Generic Haskell: practice and theory – Ralf Hinze, Johan Jeuring - 2003
28 Dealing with Large Bananas – Ralf Lammel, Joost Visser, Jan Kort - 2000
13 Polytypic Functions Over Nested Datatypes – Ralf Hinze - 1999
1 Quick Decoding and Encoding of Prüfer Strings: Exercises in Data Structures – Bryant A. Julstrom
Potentials and Limitations of Visual Methods for the Exploration of Complex Data Structures – Tobias Lauer - 2007
94 A New Approach to Generic Functional Programming – Ralf Hinze - 1999
Substitution in non-wellfounded . . . – Ralph Matthes, Tarmo Uustalu - 2003
3 Generic programming, now – Ralf Hinze, Andres Löh - 2006
Generic Accumulations for Program Calculation – Mauro Jaskelioff - 2004
11 Generic Accumulations – Alberto Pardo - 2002
14 Dependently Typed Data Structures – Hongwei Xi - 1999
4 Generic Operations on Nested Datatypes – Ian Bayley - 2001