Polytypic Proof Construction (1999)

Cached

Download Links

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

Documents Related by Co-Citation

175 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
164 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
51 Typed Combinators for Generic Traversal – Ralf Lämmel, Joost Visser - 2002
23 RepLib: a library for derivable type classes – Stephanie Weirich - 2006
60 Scrap More Boilerplate: Reflection, Zips, and Generalised Casts – Ralf Lämmel, Simon Peyton Jones - 2004
342 Intuitionistic type theory – P Martin-Löf - 1984
65 Generic Haskell: practice and theory – Ralf Hinze, Johan Jeuring - 2003
121 Implementing Type Classes – John Peterson, Mark Jones
28 Investigations into intensional type theory – T Streicher - 1993
303 Lambda calculus notation with nameless dummies, a tool for automatic formula manipulation, with application to the Church-Rosser Theorem – N. G. De Bruijn - 1972
69 Languages of the Future – Tim Sheard - 2004
45 Using Reflection to Build Efficient and Certified Decision Procedures – Samuel Boutin - 1997
71 Codifying guarded definitions with recursive schemes – Eduardo Giménez - 1994
95 A New Approach to Generic Functional Programming – Ralf Hinze - 1999
303 Higher-order abstract syntax – F Pfenning, C Elliott - 1988
140 Mechanized metatheory for the masses: The POPLmark challenge – Brian E. Aydemir, Aaron Bohannon, Matthew Fairbairn, J. Nathan Foster, Benjamin C. Pierce, Peter Sewell, Dimitrios Vytiniotis, Stephanie Weirich, Steve Zdancewic - 2005