Higher-Order Intensional Type Analysis (2002)

by Stephanie Weirich
Venue:In Proc. 11th ESOP, LNCS 2305
Citations:35 - 12 self

Documents Related by Co-Citation

259 Compiling polymorphism using intensional type analysis – Robert Harper, Greg Morrisett - 1995
141 Intensional Polymorphism in Type-Erasure Semantics – Karl Crary, Stephanie Weirich, Greg Morrisett - 2002
174 PolyP - a polytypic programming language extension – Patrik Jansson, Johan Jeuring - 1997
106 Polytypic Values Possess Polykinded Types – Ralf Hinze - 2000
44 Fully Reflexive Intensional Type Analysis – Valery Trifonov, Bratin Saha, Zhong Shao - 2000
76 Flexible Type Analysis – Karl Crary, Stephanie Weirich - 1999
120 Implementing Type Classes – John Peterson, Mark Jones
344 How to Make Ad-Hoc Polymorphism Less Ad Hoc – Philip Wadler, Stephen Blott - 1988
97 Dynamic Typing in Polymorphic Languages – Martín Abadi, Luca Cardelli, Benjamin Pierce, Didier Rémy - 1995
37 Extensional polymorphism – C Dubois, F Rouaix, P Weis - 1995
68 Dependency-style Generic Haskell – Andres Löh, Dave Clarke, Johan Jeuring - 2003
94 A New Approach to Generic Functional Programming – Ralf Hinze - 1999
41 Safe and flexible dynamic linking of native code – Michael Hicks, Stephanie Weirich, Karl Crary - 2000
82 Dynamic typing in a staticallytyped language – M Abadi, L Cardelli, B Pierce, G Plotkin - 1991
362 Types, Abstraction and Parametric Polymorphism – J C Reynolds - 1983
135 Scrap Your Boilerplate: A Practical Design Pattern for Generic Programming – Ralf Lämmel, Simon Peyton Jones - 2003
1559 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990
326 Theorems for free! – Philip Wadler - 1989
102 Phantom Types – James Cheney, Ralf Hinze - 2003