Documents Related by Co-Citation

219 Cayenne -- a Language With Dependent Types – Lennart Augustsson - 1998
23 An exercise in dependent types: A well-typed interpreter – Lennart Augustsson, Magnus Carlsson - 1999
65 Inductive Families – Peter Dybjer - 1997
290 Dependent Types in Practical Programming – Hongwei Xi, Dana Scott - 1998
72 The essence of ML – MH88 J C Mitchell, R Harper - 1988
125 Using dependent types to express modular structure – David Macqueen, David Macqueen - 1986
135 Higher-Order Modules and the Phase Distinction – Robert Harper, John C. Mitchell, Eugenio Moggi - 1990
24 Type Checking with Universes – Robert Harper, Robert Pollack - 1991
28 Practical Implementation of a Dependently Typed Functional Programming Language – Edwin C. Brady, Edwin C. Brady - 2005
70 Dependently Typed Functional Programs and their Proofs – Conor Mcbride - 1999
151 The view from the left – Conor McBride, James McKinna
44 Epigram: Practical programming with dependent types – C McBride - 2004
439 Computational Lambda-Calculus and Monads – Eugenio Moggi - 1988
29 Typechecking dependent types and subtypes – L CARDELLI - 1986
538 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
31 Dynamic typing with dependent types – Xinming Ou, Gang Tan, Yitzhak Mandelbaum, David Walker - 2004
588 From System F to Typed Assembly Language – Greg Morrisett, David Walker, Karl Crary, Neal Glew - 1998
192 Soft Typing – Robert Cartwright, Mike Fagan - 1991
288 Interpretation Fonctionelle et Elimination des Coupures dans l'Arithmetique d'Ordre Superieure – J -Y Girard - 1972