Faking It: Simulating Dependent Types in Haskell (2001)

Cached

Download Links

by Connor McBride
Citations:27 - 6 self

Documents Related by Co-Citation

151 The view from the left – Conor McBride, James McKinna
70 Dependently Typed Functional Programs and their Proofs – Conor Mcbride - 1999
219 Cayenne -- a Language With Dependent Types – Lennart Augustsson - 1998
44 Epigram: Practical programming with dependent types – C McBride - 2004
260 Programming in Martin-Löf’s Type Theory. An Introduction – B Nordström, K Petersson, J M Smith - 1990
28 Practical Implementation of a Dependently Typed Functional Programming Language – Edwin C. Brady, Edwin C. Brady - 2005
37 Elimination with a Motive – Conor Mcbride - 2002
141 Views: A way for pattern matching to cohabit with data abstraction – Philip Wadler - 1986
37 Inductive families need not store their indices – Edwin Brady, Conor Mcbride, James Mckinna - 2004
137 Scrap Your Boilerplate: A Practical Design Pattern for Generic Programming – Ralf Lämmel, Simon Peyton Jones - 2003
469 Interactive theorem proving and program development: Coq’Art: The calculus of inductive constructions – Y Bertot, P Castéran - 2004
342 Intuitionistic Type Theory – Per Martin-Löf - 1984
96 and Oege de Moor. Algebra of Programming – Richard Bird - 1997
93 The zipper – Gérard Huet, Inria Rocquencourt France - 1997
31 The Generic HASKELL User's Guide – Dave Clarke, Dæv Clarke, Ralf Hinze, Johan Jeuring, Jan de Wit, Andres Löh, What Is Generic H A - 2001
8 Programmable Type Systems for Domain Specific Languages – Peter Thiemann - 2002
81 Compiling pattern matching – L Augustsson - 1985
48 Wobbly types: type inference for generalised algebraic data types – Simon Peyton Jones, Geoffrey Washburn, Stephanie Weirich - 2004
290 Dependent Types in Practical Programming – Hongwei Xi, Dana Scott - 1998