Documents Related by Co-Citation

102 Phantom Types – James Cheney, Ralf Hinze - 2003
129 Guarded Recursive Datatype Constructors – Hongwei Xi, Chiyan Chen, Gang Chen - 2003
151 The view from the left – Conor McBride, James McKinna
85 Combining programming with theorem proving – Chiyan Chen, Hongwei Xi - 2005
170 Towards a practical programming language based on dependent type theory – Ulf Norell - 2007
290 Dependent Types in Practical Programming – Hongwei Xi, Dana Scott - 1998
37 Stratified type inference for generalized algebraic data types – Ois Pottier Yann R'egis-gianas - 2006
75 Associated type synonyms – M M T Chakravarty, G Keller, S P Jones - 2005
74 A Lightweight Implementation of Generics and Dynamics – James Cheney, Ralf Hinze - 2002
25 A Formulation of Dependent ML with Explicit Equality Proofs – Daniel R. Licata, Robert Harper - 2005
76 Inductive Sets and Families in Martin-Löf's Type Theory and Their Set-Theoretic Semantics – Peter Dybjer - 1991
342 Intuitionistic Type Theory – Per Martin-Löf - 1984
69 Languages of the Future – Tim Sheard - 2004
18 Meta-programming with Built-in Type Equality (Extended Abstract) – Tim Sheard, Emir Pasalic - 2004
37 Type Checking with Open Type Functions – Tom Schrijvers, Simon Peyton Jones, Manuel Chakravarty, Martin Sulzmann
61 Polymorphic Type Inference and Abstract Data Types – Konstantin Läufer, Martin Odersky - 1994
178 PolyP - a polytypic programming language extension – Patrik Jansson, Johan Jeuring - 1997
42 Universes for Generic Programs and Proofs in Dependent Type Theory – Marcin Benke, Peter Dybjer, Patrik Jansson - 2003
75 System F with type equality coercions – Martin Sulzmann, Manuel M. T. Chakravarty, Simon Peyton Jones, Kevin Donnelly - 2007