Higher-Order Intensional Type Analysis (2002)

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

Documents Related by Co-Citation

260 Compiling polymorphism using intensional type analysis – Robert Harper, Greg Morrisett - 1995
142 Intensional Polymorphism in Type-Erasure Semantics – Karl Crary, Stephanie Weirich, Greg Morrisett - 2002
178 PolyP - a polytypic programming language extension – Patrik Jansson, Johan Jeuring - 1997
76 Flexible Type Analysis – Karl Crary, Stephanie Weirich - 1999
107 Polytypic Values Possess Polykinded Types – Ralf Hinze - 2000
345 How to Make Ad-Hoc Polymorphism Less Ad Hoc – Philip Wadler, Stephen Blott - 1988
121 Implementing Type Classes – John Peterson, Mark Jones
99 Dynamic Typing in Polymorphic Languages – Martín Abadi, Luca Cardelli, Benjamin Pierce, Didier Rémy - 1995
44 Fully Reflexive Intensional Type Analysis – Valery Trifonov, Bratin Saha, Zhong Shao - 2000
96 A New Approach to Generic Functional Programming – Ralf Hinze - 1999
156 Dynamic typing in a statically typed language – M. Abadi, L. Cardelli, B. Pierce, G. Plotkin, Matthias Berg, Advisor Andreas Rossberg - 1991
288 Interpretation Fonctionelle et Elimination des Coupures dans l'Arithmetique d'Ordre Superieure – J -Y Girard - 1972
365 Types, abstraction and parametric polymorphism – J C Reynolds - 1983
38 Extensional polymorphism – C Dubois, F Rouaix, P Weis - 1995
93 Polytypic programming – Patrik Jansson - 2000
137 Scrap Your Boilerplate: A Practical Design Pattern for Generic Programming – Ralf Lämmel, Simon Peyton Jones - 2003
102 Phantom Types – James Cheney, Ralf Hinze - 2003
129 Guarded Recursive Datatype Constructors – Hongwei Xi, Chiyan Chen, Gang Chen - 2003
326 Theorems for free! – Philip Wadler - 1989