|
8
|
Generalized Iteration and Coiteration for Higher-Order Nested Datatypes
– Andreas Abel, Ralph Matthes, Tarmo Uustalu
- 2003
|
|
6
|
Dependently Typed Programming with Domain-Specific Logics
– Daniel R. Licata, Robert Harper
- 2008
|
|
20
|
Focusing on binding and computation
– Daniel R. Licata, Noam Zeilberger, Robert Harper
- 2008
|
|
6
|
Fixed points of type constructors and primitive recursion
– Andreas Abel, Ralph Matthes
- 2004
|
|
|
Languages, Theory
– Neil Ghani, Tarmo Uustalu
|
|
8
|
(Co-)iteration for higher-order nested datatypes
– Andreas Abel, Ralph Matthes
- 2003
|
|
5
|
Initial algebra semantics is enough
– Patricia Johann, Neil Ghani
- 2007
|
|
|
Foundations and Applications of Higher-Dimensional Directed Type Theory
– n.n.
|
|
|
Foundations and Applications of Higher-Dimensional Directed Type Theory
– Robert Harper, Daniel R. Licata
|
|
2
|
2-Dimensional Directed Type Theory
– Daniel R. Licata, Robert Harper
|
|
15
|
A Universe of Binding and Computation
– Daniel R. Licata, Robert Harper
|
|
3
|
Modules over Monads and Linearity
– André Hirschowitz, Marco Maggesi
|
|
|
Theoretical Foundations for Practical ‘Totally Functional Programming’
– Colin Kemp
- 2007
|
|
10
|
Programming With Types
– Stephanie Claudene Weirich
- 2002
|
|
|
α-Conversion Is Easy
– Thorsten Altenkirch
|
|
5
|
A Comparison of Formalizations of the Meta-Theory of a Language with Variable Bindings in Isabelle
– A. Momigliano, S. J. Ambler, R. L. Crole
- 2001
|
|
7
|
Iteration and Coiteration Schemes for Higher-Order and Nested Datatypes
– Andreas Abel, Ralph Matthes, Tarmo Uustalu
- 2004
|
|
22
|
Manufacturing Datatypes
– Ralf Hinze
- 1999
|
|
68
|
Monadic Presentations of Lambda Terms Using Generalized Inductive Types
– Thorsten Altenkirch, Bernhard Reus
- 1999
|
