Documents Related by Co-Citation

77 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
68 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
52 Generic programming within dependently typed programming – Thorsten Altenkirch, Conor Mcbride - 2003
35 Generalised Folds for Nested Datatypes – Richard Bird, Ross Paterson - 1999
7 The Dual of Substitution is Redecoration – Tarmo Uustalu, Varmo Vene - 2002
24 Manufacturing Datatypes – Ralf Hinze - 1999
12 Iteration and Coiteration Schemes for Higher-Order and Nested Datatypes – Andreas Abel, Ralph Matthes, Tarmo Uustalu - 2004
6 On Continuous Normalization – Klaus Aehlig, Felix Joachimski
4 Basic category theory for models of syntax, Course notes for – R. L. Crole - 2002
19 Substitution: A formal methods case study using monads and transformations – Fran├žoise Bellegarde, James Hook - 1994
62 Frege structures and the notions of proposition, truth and set – P Aczel - 1980
79 Nested datatypes – Richard Bird, Lambert Meertens - 1998
10 Monotone Inductive and Coinductive Constructors of Rank 2 – Ralph Matthes - 2001
63 Containers: Constructing strictly positive types – M Abbott, T Altenkirch, N Ghani - 2005
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