Polytypic Values Possess Polykinded Types (2000)

by Ralf Hinze
Citations:106 - 18 self

Documents Related by Co-Citation

179 PolyP - a polytypic programming language extension – Patrik Jansson, Johan Jeuring - 1997
97 A New Approach to Generic Functional Programming – Ralf Hinze - 1999
125 Implementing Type Classes – John Peterson, Mark Jones
339 Theorems for free! – Philip Wadler - 1989
41 A Generic Programming Extension for Haskell – Ralf Hinze - 1999
60 Type-Indexed Data Types – Ralf Hinze, Johan Jeuring, Andres Löh - 2004
308 Programming with bananas, lenses, envelopes and barbed wire – Erik Meijer, Maarten Fokkinga, Ross Paterson - 1991
985 A theory of type polymorphism in programming – Robin Milner - 1978
790 Eiffel: the language – Bertrand Meyer - 1992