Polytypic Proof Construction (1999)

Cached

Download Links

by Holger Pfeifer , Harald Rueß
Citations:11 - 0 self

Documents Related by Co-Citation

178 PolyP - a polytypic programming language extension – Patrik Jansson, Johan Jeuring - 1997
52 Generic programming within dependently typed programming – Thorsten Altenkirch, Conor Mcbride - 2003
42 Universes for Generic Programs and Proofs in Dependent Type Theory – Marcin Benke, Peter Dybjer, Patrik Jansson - 2003
163 Inductive Definitions in the System Coq Rules and Properties – Christine Paulin-Mohring - 1992
53 Scrap your boilerplate: a practical approach to generic programming – Ralf Lämmel, Simon Peyton Jones - 2003
23 RepLib: a library for derivable type classes – S Weirich - 2006
53 Typed Combinators for Generic Traversal – Ralf Lämmel, Joost Visser - 2002
59 Scrap More Boilerplate: Reflection, Zips, and Generalised Casts – Ralf Lämmel, Simon Peyton Jones - 2004
342 Intuitionistic Type Theory – Per Martin-Löf - 1984
65 Generic Haskell: practice and theory – Ralf Hinze, Johan Jeuring - 2003
302 Lambda calculus notation with nameless dummies, a tool for automatic formula manipulation, with application to the Church-Rosser Theorem – N. G. De Bruijn - 1972
46 Using Reflection to Build Efficient and Certified Decision Procedures – Samuel Boutin - 1997
30 The undecidability of unification in third order logic – G Huet - 1973
70 Codifying guarded definitions with recursive schemes – Eduardo Giménez - 1995
42 A certified type-preserving compiler from lambda calculus to assembly language – Adam Chlipala - 2007
96 A New Approach to Generic Functional Programming – Ralf Hinze - 1999
121 Implementing Type Classes – John Peterson, Mark Jones
27 Investigations into intensional type theory – T Streicher - 1993
302 Higher-order abstract syntax – F Pfenning, C Elliott - 1988