Documents Related by Co-Citation

219 Cayenne -- a Language With Dependent Types – Lennart Augustsson - 1998
23 Observational Equality, Now! – Thorsten Altenkirch, Conor McBride, Wouter Swierstra - 2007
17 The Power of Pi – Nicolas Oury, Wouter Swierstra - 2008
29 The implicit calculus of constructions as a programming language with dependent types – Bruno Barras, Bruno Bernardo
13 Verified programming in Guru – Aaron Stump - 2008
159 Simple unification-based type inference for GADTs – Simon Peyton Jones - 2006
237 Interprétation Fonctionnelle et Elimination des Coupures dans l’Arithmétique d’Ordre Supérieur – J-Y Girard - 1972
151 The view from the left – Conor McBride, James McKinna
756 On understanding types, data abstraction, and polymorphism – Luca Cardelli, Peter Wegner - 1985
939 A theory of type polymorphism in programming – Robin Milner - 1978
7 Functional Generic Programming and Type Theory – Ulf Norell - 2002
3 Equational Reasoning about Programs with General Recursion and Call-by-value Semantics – Garrin Kimmell, Aaron Stump, Harley D. Eades Iii, Peng Fu, Tim Sheard, Stephanie Weirich, Chris Casinghino, Vilhelm Sjöberg, Nathan Collins, Ki Yung Ahn
2 Handbook of logic in computer science (vol. 2). chapter Lambda calculi with types – H P Barendregt - 1992
3 The right kind of generic programming – José Pedro Magalhães - 2012
2 heterogenous equality, and call-by-value dependent type systems – Irrelevance
43 Encoding types in ML-like languages – Zhe Yang - 1998
13 The Implicit Calculus of Constructions - Extending Pure Type Systems with an Intersection Type Binder and Subtyping – Alexandre Miquel - 2001
15 Generative Type Abstraction and Type-level Computation (Extended Version) – Stephanie Weirich, Dimitrios Vytiniotis, Simon Peyton Jones, Steve Zdancewic
10 Canonicity for 2-Dimensional Type Theory – Daniel R. Licata, Robert Harper - 2012