Iteration and Coiteration Schemes for Higher-Order and Nested Datatypes (2004)

Cached

Download Links

by Andreas Abel , Ralph Matthes , Tarmo Uustalu
Citations:12 - 2 self

Active Bibliography

Substitution in non-wellfounded . . . – Ralph Matthes, Tarmo Uustalu - 2003
8 Generalized Iteration and Coiteration for Higher-Order Nested Datatypes – Andreas Abel, Ralph Matthes, Tarmo Uustalu - 2003
7 Fixed points of type constructors and primitive recursion – Andreas Abel, Ralph Matthes - 2004
A Predicative Strong Normalisation Proof for a – Calculus With Interleaving, Andreas Abel, Thorsten Altenkirch
8 A predicative strong normalisation proof for a λ-calculus with interleaving inductive types – Andreas Abel, Thorsten Altenkirch - 1999
8 (Co-)iteration for higher-order nested datatypes – Andreas Abel, Ralph Matthes - 2003
4 A Predicative Strong Normalisation Proof for a lambda-Calculus with Interleaving Inductive Types – Andreas Abel, Thorsten Altenkirch - 2000
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
1 A Generic Formal Metatheory Framework for First-Order Representations – Gyesik Lee, Bruno C. D. S. Oliveira, Sungkeun Cho, Kwangkeun Yi
1 GMeta: A Generic Formal Metatheory Framework for First-Order Representations ⋆ – Gyesik Lee, Bruno C. D. S. Oliveira, Sungkeun Cho, Kwangkeun Yi
16 Exploring the regular tree types – Peter Morris, Thorsten Altenkirch, Conor Mcbride - 2004
10 A functional specification of effects – Wouter Swierstra - 2009
43 Indexed Induction-Recursion – Peter Dybjer, Anton Setzer - 2001
5 Type-based termination of generic programs – Andreas Abel - 2007
20 The Gentle Art of Levitation – James Chapman, Pierre-évariste Dagand, Conor Mcbride, Peter Morris
1 Generic Programming and Proving for Programming Language – Adam Chlipala - 2007
6 Dependently Typed Programming with Domain-Specific Logics – Daniel R. Licata, Robert Harper - 2008
17 A Universe of Binding and Computation – Daniel R. Licata, Robert Harper