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
44 Indexed Induction-Recursion – Peter Dybjer, Anton Setzer - 2001
16 Exploring the regular tree types – Peter Morris, Thorsten Altenkirch, Conor Mcbride - 2004
17 A Universe of Binding and Computation – Daniel R. Licata, Robert Harper
5 Type-based termination of generic programs – Andreas Abel - 2007
permission. Generic Programming and Proving for Programming Language – Adam Chlipala, Adam Chlipala
10 A functional specification of effects – Wouter Swierstra - 2009
20 The Gentle Art of Levitation – James Chapman, Pierre-évariste Dagand, Conor Mcbride, Peter Morris
Haskell Examples for Iteration and Coiteration on Higher-Order Datatypes – Andreas Abel, Coinductive Types - 2003