Generic programming within dependently typed programming (2003)

Cached

Download Links

by Thorsten Altenkirch , Conor Mcbride
Venue:In Generic Programming, 2003. Proceedings of the IFIP TC2 Working Conference on Generic Programming, Schloss Dagstuhl
Citations:52 - 7 self

Documents Related by Co-Citation

42 Universes for Generic Programs and Proofs in Dependent Type Theory – Marcin Benke, Peter Dybjer, Patrik Jansson - 2003
107 Polytypic Values Possess Polykinded Types – Ralf Hinze - 2000
59 Type-Indexed Data Types – Ralf Hinze, Johan Jeuring, Andres Löh - 2004
178 PolyP - a polytypic programming language extension – Patrik Jansson, Johan Jeuring - 1997
77 Monadic Presentations of Lambda Terms Using Generalized Inductive Types – Thorsten Altenkirch, Bernhard Reus - 1999
170 Towards a practical programming language based on dependent type theory – Ulf Norell - 2007
85 Pattern matching with dependent types – Thierry Coquand - 1992
40 A Generic Programming Extension for Haskell – Ralf Hinze - 1999
76 Inductive Sets and Families in Martin-Löf's Type Theory and Their Set-Theoretic Semantics – Peter Dybjer - 1991
74 A Lightweight Implementation of Generics and Dynamics – James Cheney, Ralf Hinze - 2002
65 Generic Haskell: practice and theory – Ralf Hinze, Johan Jeuring - 2003
342 Intuitionistic Type Theory – Per Martin-Löf - 1984
219 Cayenne -- a Language With Dependent Types – Lennart Augustsson - 1998
36 Generic haskell, specifically – Dave Clarke, Andres Löh - 2003
53 Scrap your boilerplate: a practical approach to generic programming – Ralf Lämmel, Simon Peyton Jones - 2003
93 The ALF proof editor and its proof engine – Lena Magnusson, Bengt Nordström - 1994
93 The zipper – Gérard Huet, Inria Rocquencourt France - 1997
68 Dependency-style Generic Haskell – Andres Löh, Dave Clarke, Johan Jeuring - 2003
37 Inductive families need not store their indices – Edwin Brady, Conor Mcbride, James Mckinna - 2004