(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

Active Bibliography

8 Generalized Iteration and Coiteration for Higher-Order Nested Datatypes – Andreas Abel, Ralph Matthes, Tarmo Uustalu - 2003
10 Monotone Inductive and Coinductive Constructors of Rank 2 – Ralph Matthes - 2001
Monotone (Co)Inductive Types and Positive Fixed-Point Types – Ralph Matthes - 1998
702 A Framework for Defining Logics – Robert Harper , Furio Honsell, Gordon Plotkin - 1993
CATEGORICAL PROGRAMMING WITH INDUCTIVE AND COINDUCTIVE TYPES – Jeremy Gibbons
423 The Foundation of a Generic Theorem Prover – Lawrence C. Paulson - 1989
4 Generic Operations on Nested Datatypes – Ian Bayley - 2001
302 Universal coalgebra: a theory of systems – J. J. M. M. Rutten - 2000
269 A Type-Theoretic Approach to Higher-Order Modules with Sharing – Robert Harper, Mark Lillibridge - 1994