Documents Related by Co-Citation

107 Polytypic Values Possess Polykinded Types – Ralf Hinze - 2000
95 A New Approach to Generic Functional Programming – Ralf Hinze - 1999
175 PolyP - a polytypic programming language extension – Patrik Jansson, Johan Jeuring - 1997
142 Intensional Polymorphism in Type-Erasure Semantics – Karl Crary, Stephanie Weirich, Greg Morrisett - 2002
44 Implementing Haskell overloading – Lennart Augustsson - 1993
347 How to Make Ad-Hoc Polymorphism Less Ad Hoc – Philip Wadler, Stephen Blott - 1988
259 Compiling polymorphism using intensional type analysis – Robert Harper, Greg Morrisett - 1995
32 The Generic HASKELL User's Guide – Dave Clarke, Dæv Clarke, Ralf Hinze, Johan Jeuring, Jan de Wit, Andres Löh, What Is Generic H A - 2001
170 Unboxed Objects and Polymorphic Typing – Xavier Leroy - 1992
76 Flexible Type Analysis – Karl Crary, Stephanie Weirich - 1999
40 A Generic Programming Extension for Haskell – Ralf Hinze - 1999
124 Type classes in Haskell – Cordelia Hall, Kevin Hammond, Simon Peyton Jones, Philip Wadler - 1996
85 Dynamic typing in a statically-typed language – Martín Abadi, Luca Cardelli, Benjamin Pierce, Gordon Plotkin - 1991
47 An Ad-Hoc Approach to the Implementation of Polymorphism – R. Morrison, A. Dearle, R.C.H. Connor, A.L. Brown - 1991
32 Generic Programs and Proofs – Ralf Hinze - 2000
620 Compiling with Continuations – A W Appel - 1992
35 Higher-Order Intensional Type Analysis – Stephanie Weirich - 2002
28 Dealing with Large Bananas – Ralf Lammel, Joost Visser, Jan Kort - 2000
38 Dynamic Typing as Staged Type Inference – Mark Shields, Tim Sheard, Simon Peyton Jones - 1998