Erasure and Polymorphism in Pure Type Systems

View PDF

Download Links

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

Documents Related by Co-Citation

576 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
1184 The Lambda Calculus: Its Syntax and Semantics – H P Barendregt - 1984
300 Dependent Types in Practical Programming – Hongwei Xi, Dana Scott - 1998
299 Interprétation fonctionelle et élimination des coupures de l’arithmétique d’ordre supérieur – Jean-Yves Girard - 1972
243 Formal certification of a compiler back-end, or: programming a compiler with a proof assistant – Xavier Leroy - 2006
184 Towards a practical programming language based on dependent type theory – Ulf Norell - 2007
183 A System of Constructor Classes: Overloading and Implicit Higher-Order Polymorphism – Mark P. Jones - 1995
168 Simple unification-based type inference for GADTs – Simon Peyton Jones - 2006
164 The view from the left – C McBride, J McKinna
137 Guarded Recursive Datatype Constructors – Hongwei Xi, Chiyan Chen, Gang Chen - 2003