(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:9 - 5 self

Documents Related by Co-Citation

520 Lambda Calculi with Types – Henk Barendregt, S. Abramsky, D. M. Gabbay, T. S. E. Maibaum, H. P. Barendregt - 1992
77 Monadic Presentations of Lambda Terms Using Generalized Inductive Types – Thorsten Altenkirch, Bernhard Reus - 1999
8 Generalized Iteration and Coiteration for Higher-Order Nested Datatypes – Andreas Abel, Ralph Matthes, Tarmo Uustalu - 2003
441 The formulas-as-types notion of construction – W A Howard - 1980
307 Higher-order abstract syntax – F Pfenning, C Elliott
306 Lambda calculus notation with nameless dummies, a tool for automatic formula manipulation, with application to the Church-Rosser Theorem – N. G. De Bruijn - 1972
52 Generic programming within dependently typed programming – Thorsten Altenkirch, Conor Mcbride - 2003
241 Interprétation fonctionnelle et élimination des coupures de l’arithmétique d’ordre supérieur – Jean-Yves Girard - 1972
221 Categories for the working mathematician, volume 5 – S Mac Lane - 1998