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
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
170 Towards a practical programming language based on dependent type theory – Ulf Norell - 2007
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
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
219 Cayenne -- a Language With Dependent Types – Lennart Augustsson - 1998
13 Type Inference for GADTs via Herbrand Constraint Abduction – Martin Sulzmann, Tom Schrijvers, Peter J. Stuckey - 2008
22 Putting Curry-Howard to work – Tim Sheard - 2005