Polytypic Values Possess Polykinded Types (2000)

by Ralf Hinze
Citations:107 - 20 self

Active Bibliography

65 Generic Haskell: practice and theory – Ralf Hinze, Johan Jeuring - 2003
13 Polytypic Programming With Ease – Ralf Hinze - 1999
120 Implementing Type Classes – John Peterson, Mark Jones
28 Dealing with Large Bananas – Ralf Lammel, Joost Visser, Jan Kort - 2000
4 Generic Operations on Nested Datatypes – Ian Bayley - 2001
Yet Another Generic Haskell – Ralf Lämmel, Joost Visser
40 A Generic Programming Extension for Haskell – Ralf Hinze - 1999
1 Comparing Approaches to Polytypic Programming – Joost Halenbeek - 1999
58 A tutorial on the universality and expressiveness of fold – Graham Hutton - 1999
102 On The Type Structure of Standard ML – Robert Harper, John C. Mitchell - 1993
58 Type-Indexed Data Types – Ralf Hinze, Johan Jeuring, Andres Löh - 2004
5 Functional polytypic programming | use and implementation – Patrik Jansson - 1997
13 Polytypic Functions Over Nested Datatypes – Ralf Hinze - 1999
24 Manufacturing Datatypes – Ralf Hinze - 1999
1 Non-uniform Recursion: The solution (minimal sorting for fold) – Martin Wehr - 2000
3 Generic programming, now – Ralf Hinze, Andres Löh - 2006
74 A Lightweight Implementation of Generics and Dynamics – James Cheney, Ralf Hinze - 2002
20 Comparing Libraries for Generic Programming in Haskell – Alexey Rodriguez, Johan Jeuring, Patrik Jansson, Alex Gerdes, Oleg Kiselyov, Bruno C. d. S. Oliveira - 2008
11 Programming With Types – Stephanie Claudene Weirich - 2002