Erasure and Polymorphism in Pure Type Systems

Cached

Download Links

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

Active Bibliography

14 Erasure and Polymorphism in Pure Type Systems – Nathan Mishra-linger, Tim Sheard
Irrelevance, Polymorphism, and Erasure in Type Theory – Richard Nathan Mishra-Linger - 2008
4 Positively Dependent Types – Daniel R. Licata, Robert Harper - 2008
9 Why dependent types matter – Thorsten Altenkirch, Conor Mcbride, James Mckinna - 2005
29 The implicit calculus of constructions as a programming language with dependent types – Bruno Barras, Bruno Bernardo
2 Concoqtion: Mixing dependent types and Hindley-Milner type inference (extended version – Jeremy Siek, Walid Taha - 2006
7 Refined typechecking with Stardust – Joshua Dunfield - 2007
6 Dependently Typed Programming with Domain-Specific Logics – Daniel R. Licata, Robert Harper - 2008
ON IRRELEVANCE AND ALGORITHMIC EQUALITY IN PREDICATIVE TYPE THEORY – Andreas Abel, Gabriel Scherer, Gallium Team, Inria Paris-rocquencourt
unknown title – Jean-philippe Bernardy, Patrik Jansson, Ross Paterson
1 Phase distinctions in the compilation of Epigram – James Mckinna, Edwin Brady - 2005
1 Towards type-theoretic semantics for transactional concurrency – Aleksandar Nanevski, Paul Govereau, Greg Morrisett - 2009
6 Type-theoretic semantics for transactional concurrency – Aleksandar Nanevski, Paul Govereau, Greg Morrisett - 2007
23 Observational Equality, Now! – Thorsten Altenkirch, Conor McBride, Wouter Swierstra - 2007
7 Irrelevance in Type Theory with a Heterogeneous Equality Judgement – Andreas Abel
Correct-by-Construction Concurrency – Edwin Brady, Kevin Hammond
3 Lightweight Invariants with Full Dependent Types – Edwin Brady, Christoph Herrmann, Kevin Hammond
VeriML: A dependently-typed, user-extensible and language-centric approach to proof assistants – Antonios Michael Stampoulis - 2013
33 A language-based approach to functionally correct imperative programming – Edwin Westbrook, Aaron Stump, Ian Wehrman - 2005