Documents Related by Co-Citation

84 A New Approach to Generic Functional Programming – Ralf Hinze - 1999
161 PolyP - a polytypic programming language extension – Patrik Jansson, Johan Jeuring - 1997
102 Polytypic Values Possess Polykinded Types – Ralf Hinze - 2000
44 Implementing Haskell overloading – Lennart Augustsson - 1993
315 How to Make Ad-Hoc Polymorphism Less Ad Hoc – Philip Wadler, Stephen Blott - 1988
51 A Generic Programming Extension for Clean – Artem Alimarine, Rinus Plasmeijer - 2002
252 Compiling polymorphism using intensional type analysis – Robert Harper, Greg Morrisett - 1995
163 Unboxed Objects and Polymorphic Typing – Xavier Leroy - 1992
132 Intensional Polymorphism in Type-Erasure Semantics – Karl Crary, Stephanie Weirich, Greg Morrisett - 2002
39 A Generic Programming Extension for Haskell – Ralf Hinze - 1999
45 An Ad-Hoc Approach to the Implementation of Polymorphism – R. Morrison, A. Dearle, R.C.H. Connor, A.L. Brown - 1991
63 Generic Haskell: practice and theory – Ralf Hinze, Johan Jeuring - 2003
31 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
32 Generic Programs and Proofs – Ralf Hinze - 2000
595 Compiling with Continuations – Andrew Appel - 1992
74 Flexible Type Analysis – Karl Crary, Stephanie Weirich - 1999
35 Higher-Order Intensional Type Analysis – Stephanie Weirich - 2002
26 Dealing with Large Bananas – Ralf Lammel, Joost Visser, Jan Kort - 2000
10 Generic polymorphism in ML – Jun Furuse - 2001