Documents Related by Co-Citation

178 PolyP - a polytypic programming language extension – Patrik Jansson, Johan Jeuring - 1997
96 A New Approach to Generic Functional Programming – Ralf Hinze - 1999
107 Polytypic Values Possess Polykinded Types – Ralf Hinze - 2000
44 Implementing Haskell overloading – Lennart Augustsson - 1993
260 Compiling polymorphism using intensional type analysis – Robert Harper, Greg Morrisett - 1995
345 How to Make Ad-Hoc Polymorphism Less Ad Hoc – Philip Wadler, Stephen Blott - 1988
142 Intensional Polymorphism in Type-Erasure Semantics – Karl Crary, Stephanie Weirich, Greg Morrisett - 2002
171 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
47 An Ad-Hoc Approach to the Implementation of Polymorphism – R. Morrison, A. Dearle, R.C.H. Connor, A.L. Brown - 1991
65 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
625 Compiling With Continuations – A W Appel - 1992
36 Higher-Order Intensional Type Analysis – Stephanie Weirich - 2002
29 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
239 MetaML and Multi-Stage Programming with Explicit Annotations – Walid Taha, Tim Sheard - 1999