Polytypic Values Possess Polykinded Types (2000)

by Ralf Hinze
Citations:107 - 20 self

Documents Related by Co-Citation

175 PolyP - a polytypic programming language extension – Patrik Jansson, Johan Jeuring - 1997
95 A New Approach to Generic Functional Programming – Ralf Hinze - 1999
121 Implementing Type Classes – John Peterson, Mark Jones
333 Theorems for free! – Philip Wadler - 1989
40 A Generic Programming Extension for Haskell – Ralf Hinze - 1999
302 Programming with bananas, lenses, envelopes and barbed wire – Erik Meijer, Maarten Fokkinga, Ross Paterson - 1991
944 A theory of type polymorphism in programming – Robin Milner - 1978
758 Eiffel: the language – B Meyer - 1992
581 Applying design by contract – Bertrand Meyer - 1992