Fully Reflexive Intensional Type Analysis (2000)

by Valery Trifonov , Bratin Saha , Zhong Shao
Venue:In Fifth ACM SIGPLAN International Conference on Functional Programming
Citations:44 - 7 self

Documents Related by Co-Citation

259 Compiling polymorphism using intensional type analysis – Robert Harper, Greg Morrisett - 1995
76 Flexible Type Analysis – Karl Crary, Stephanie Weirich - 1999
141 Intensional Polymorphism in Type-Erasure Semantics – Karl Crary, Stephanie Weirich, Greg Morrisett - 2002
106 Polytypic Values Possess Polykinded Types – Ralf Hinze - 2000
35 Higher-Order Intensional Type Analysis – Stephanie Weirich - 2002
37 Extensional polymorphism – C Dubois, F Rouaix, P Weis - 1995
538 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
174 PolyP - a polytypic programming language extension – Patrik Jansson, Johan Jeuring - 1997
518 Lambda Calculi with Types – Henk Barendregt, S. Abramsky, D. M. Gabbay, T. S. E. Maibaum, H. P. Barendregt - 1992
284 Interprétation fonctionelle et élimination des coupures de l’arithmétique d’ordre supérieur – Jean-Yves Girard - 1972
288 Dependent Types in Practical Programming – Hongwei Xi, Dana Scott - 1998
362 Types, Abstraction and Parametric Polymorphism – J C Reynolds - 1983
82 Dynamic typing in a staticallytyped language – M Abadi, L Cardelli, B Pierce, G Plotkin - 1991
344 How to Make Ad-Hoc Polymorphism Less Ad Hoc – Philip Wadler, Stephen Blott - 1988
54 Revisiting Catamorphisms over Datatypes with Embedded Functions (or, Programs from Outer Space) – Leonidas Fegaras, Tim Sheard - 1996
604 The Definition of Standard ML (Revised – Robin Milner, Mads Tofte, Robert Harper, David B MacQueen - 1990
120 Implementing Type Classes – John Peterson, Mark Jones
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
135 Scrap Your Boilerplate: A Practical Design Pattern for Generic Programming – Ralf Lämmel, Simon Peyton Jones - 2003