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
121 Implementing Type Classes – John Peterson, Mark Jones
595 From System F to Typed Assembly Language – Greg Morrisett, David Walker, Karl Crary, Neal Glew - 1998
548 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
13 Polytypic Programming With Ease – Ralf Hinze - 1999
459 Comprehending Monads – Philip Wadler - 1992
unknown title – unknown authors
Datatype-Generic Programming 2006 – Ralf Hinze, Andres Löh
406 Deforestation: transforming programs to eliminate trees – P Wadler - 1988