Erasure and Polymorphism in Pure Type Systems

Cached

Download Links

by Nathan Mishra Linger , Tim Sheard
Citations:1 - 0 self

Documents Related by Co-Citation

548 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
1121 The Lambda Calculus, its Syntax and Semantics – H P Barendregt - 1981
290 Dependent Types in Practical Programming – Hongwei Xi, Dana Scott - 1998
286 Interpretation fonctionelle et elimination des coupures de l'arithmetique d'ordre superieur – Jean-Yves Girard - 1972
227 Formal certification of a compiler back-end, or: programming a compiler with a proof assistant – Xavier Leroy - 2006
179 A System of Constructor Classes: Overloading and Implicit Higher-Order Polymorphism – Mark P. Jones - 1995
173 Towards a practical programming language based on dependent type theory – Ulf Norell - 2007
158 Simple unification-based type inference for GADTs – Simon Peyton Jones - 2006
155 The view from the left – C McBride, J McKinna
131 Guarded Recursive Datatype Constructors – Hongwei Xi, Chiyan Chen, Gang Chen - 2003