|
161
|
PolyP - a polytypic programming language extension
– Patrik Jansson, Johan Jeuring
- 1997
|
|
45
|
Generic programming within dependently typed programming
– Thorsten Altenkirch, Conor Mcbride
- 2003
|
|
38
|
Universes for Generic Programs and Proofs in Dependent Type Theory
– Marcin Benke, Peter Dybjer, Patrik Jansson
- 2003
|
|
143
|
Inductive Definitions in the System Coq Rules and Properties
– Christine Paulin-Mohring
- 1992
|
|
41
|
Typed Combinators for Generic Traversal
– Ralf Lämmel, Joost Visser
- 2002
|
|
52
|
Scrap your boilerplate: a practical approach to generic programming
– Ralf Lämmel, Simon Peyton Jones
- 2003
|
|
18
|
RepLib: a library for derivable type classes
– Stephanie Weirich
- 2006
|
|
49
|
Scrap More Boilerplate: Reflection, Zips, and Generalised Casts
– Ralf Lämmel, Simon Peyton Jones
- 2004
|
|
301
|
Intuitionistic Type Theory
– Per Martin-Löf
- 1984
|
|
63
|
Generic Haskell: practice and theory
– Ralf Hinze, Johan Jeuring
- 2003
|
|
27
|
The undecidability of unification in third order logic
– G P Huet
- 1973
|
|
114
|
Implementing Type Classes
– John Peterson, Mark Jones
|
|
62
|
Languages of the Future
– Tim Sheard
- 2004
|
|
23
|
Investigations into intensional type theory
– T Streicher
- 1993
|
|
32
|
A certified type-preserving compiler from lambda calculus to assembly language
– Adam J Chlipala
- 2007
|
|
63
|
Codifying guarded definitions with recursion schemes
– E Giménez
- 1994
|
|
84
|
A New Approach to Generic Functional Programming
– Ralf Hinze
- 1999
|
|
278
|
Lambda calculus notation with nameless dummies, a tool for automatic formula manipulation, with application to the Church-Rosser Theorem
– N. G. De Bruijn
- 1972
|
|
269
|
Higher-order abstract syntax
– Frank Pfenning, Conal Elliott
- 1988
|
