Documents Related by Co-Citation

68 Monadic Presentations of Lambda Terms Using Generalized Inductive Types – Thorsten Altenkirch, Bernhard Reus - 1999
8 (Co-)iteration for higher-order nested datatypes – Andreas Abel, Ralph Matthes - 2003
62 De Bruijn notation as a nested datatype – Richard S. Bird, Ross Paterson, Sir Arthur, Conan Doyle - 1999
2 Types for Proofs and Programs – In Geuvers, H Wiedijk, F
18 Logical Relations and Inductive/coinductive Types – Thorsten Altenkirch - 1998
45 Generic programming within dependently typed programming – Thorsten Altenkirch, Conor Mcbride - 2003
28 Generalised Folds for Nested Datatypes – Richard Bird, Ross Paterson - 1999
7 The Dual of Substitution is Redecoration – Tarmo Uustalu, Varmo Vene - 2002
22 Manufacturing Datatypes – Ralf Hinze - 1999
7 Iteration and Coiteration Schemes for Higher-Order and Nested Datatypes – Andreas Abel, Ralph Matthes, Tarmo Uustalu - 2004
3 Basic category theory for models of syntax, Course notes for – R. L. Crole - 2002
17 Substitution: A formal methods case study using monads and transformations – Françoise Bellegarde, James Hook - 1994
5 On Continuous Normalization – Klaus Aehlig, Felix Joachimski
58 Frege structures and the notion of proposition, truth and set – P Aczel - 1980
67 Nested datatypes – Richard Bird, Lambert Meertens - 1998
9 Monotone Inductive and Coinductive Constructors of Rank 2 – Ralph Matthes - 2001
43 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
1 Co-)iteration for higher-order nested datatypes, in H. Geuvers, F. Wiedijk (Eds.), Selected Papers from 2nd Int. Wksh – A Abel, R Matthes - 2003