(Co-)iteration for higher-order nested datatypes (2003)

by Andreas Abel , Ralph Matthes
Venue:POST-CONF. PROC. OF IST WG TYPES 2ND ANN. MEETING, TYPES'02, LECT. NOTES IN COMPUT. SCI
Citations:8 - 5 self

Documents Related by Co-Citation

8 Generalized Iteration and Coiteration for Higher-Order Nested Datatypes – Andreas Abel, Ralph Matthes, Tarmo Uustalu - 2003
77 Monadic Presentations of Lambda Terms Using Generalized Inductive Types – Thorsten Altenkirch, Bernhard Reus - 1999
52 Generic programming within dependently typed programming – Thorsten Altenkirch, Conor Mcbride - 2003
10 Monotone Inductive and Coinductive Constructors of Rank 2 – Ralph Matthes - 2001
2 Types for Proofs and Programs – In Geuvers, H Wiedijk, F
18 Logical Relations and Inductive/coinductive Types – Thorsten Altenkirch - 1998
68 De Bruijn notation as a nested datatype – Richard S. Bird, Ross Paterson, Sir Arthur, Conan Doyle - 1999
79 Nested datatypes – Richard Bird, Lambert Meertens - 1998
61 Containers - constructing strictly positive types, Theoretical Computer Science 342 (2005) 3–27, applied Semantics: Selected Topics – M Abott, T Altenkirch, N Ghani
1 Types for Proofs and Programs, International Workshop, TYPES 2002 – In Geuvers, H Wiedijk, F - 2003
3 Representations of order function types as terminal coalgebras – Thorsten Altenkirch - 2001
3 Type-based termination of recursive de – G Barthe, M J Frade, E Gimenez, L Pinto, T Uustalu - 2004
1 examples for iteration and coiteration on higher-order datatypes. Haskell code accompanying this article, available on the author's homepage – Haskell - 2003
1 Efficient generalized folds – Coll - 1998
7 Program Optimisation, Naturally – Richard Bird, Jeremy Gibbons, Geraint Jones
9 Structural recursive de in type theory – E Gimenez - 1998
46 A typed lambda calculus with categorical type constructors – Tatsuya Hagino - 1987
34 Contracting proofs to programs – D Leivant - 1990
51 Inductive and Coinductive types with Iteration and Recursion – Herman Geuvers - 1992