A New Approach to Generic Functional Programming (1999)

by Ralf Hinze
Venue:In The 27th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
Citations:94 - 13 self

Active Bibliography

31 Generalizing Generalized Tries – Ralf Hinze - 1999
13 Polytypic Programming With Ease – Ralf Hinze - 1999
11 Efficient Generalized Folds – Ralf Hinze - 1999
Yet Another Generic Haskell – Ralf Lämmel, Joost Visser
Theoretical Foundations for Practical ‘Totally Functional Programming’ – Colin Kemp - 2007
65 Generic Haskell: practice and theory – Ralf Hinze, Johan Jeuring - 2003
26 Typed Generic Traversal With Term Rewriting Strategies – Ralf Lämmel - 2002
11 Programming With Types – Stephanie Claudene Weirich - 2002
24 Manufacturing Datatypes – Ralf Hinze - 1999
8 Initial algebra semantics is enough – Patricia Johann, Neil Ghani - 2007
Haskell Programming with Nested Types: A Principled Approach † – Patricia Johann, Neil Ghani
107 Polytypic Values Possess Polykinded Types – Ralf Hinze - 2000
A New Approach to Generic Functional Programming – unknown authors
Substitution in non-wellfounded . . . – Ralph Matthes, Tarmo Uustalu - 2003
4 Generic Operations on Nested Datatypes – Ian Bayley - 2001
14 Dependently Typed Data Structures – Hongwei Xi - 1999
52 Generic programming within dependently typed programming – Thorsten Altenkirch, Conor Mcbride - 2003
34 Generalised Folds for Nested Datatypes – Richard Bird, Ross Paterson - 1999
Abstract – Ralf Lämmel - 2002