Monotone Inductive and Coinductive Constructors of Rank 2 (2001)

by Ralph Matthes
Venue:Proceedings of CSL 2001
Citations:10 - 4 self

Active Bibliography

8 Generalized Iteration and Coiteration for Higher-Order Nested Datatypes – Andreas Abel, Ralph Matthes, Tarmo Uustalu - 2003
8 (Co-)iteration for higher-order nested datatypes – Andreas Abel, Ralph Matthes - 2003
Least and Greatest Fixed Points in Intuitionistic Natural Deduction – Tarmo Uustalu, Varmo Vene - 2002
4 Coding Recursion a la Mendler (Extended Abstract) – Tarmo Uustalu, Varmo Vene - 2000
1 Parigot's Second Order λμ-Calculus and Inductive Types – Ralph Matthes - 2001
6 A Cube of Proof Systems for the Intuitionistic Predicate mu-,nu-Logic – Tarmo Uustalu, Varmo Vene - 1997
2 Monotone Fixed-Point Types and Strong Normalization – Ralph Matthes - 1998
39 Type-Based Termination of Recursive Definitions РG. Barthe, M. J. Frade, E. Gim̩nez, L. Pinto, T. Uustalu - 2002
Monotone (Co)Inductive Types and Positive Fixed-Point Types – Ralph Matthes - 1998
7 Fixed points of type constructors and primitive recursion – Andreas Abel, Ralph Matthes - 2004
4 Generic Operations on Nested Datatypes – Ian Bayley - 2001
Another Iteration on Darlington's "A Synthesis of Several Sorting Algorithms" – Brian Howard, Singleton Equal-size - 1994
Mendler-Style Inductive Types, Categorically (Extended Abstract) – Tarmo Uustalu, Varmo Vene - 1998
8 Mendler-Style Inductive Types, Categorically – Tarmo Uustalu, Varmo Vene - 1999
52 Generic programming within dependently typed programming – Thorsten Altenkirch, Conor Mcbride - 2003
Substitution in non-wellfounded . . . – Ralph Matthes, Tarmo Uustalu - 2003
11 Programming With Types – Stephanie Claudene Weirich - 2002
5 Representing Cyclic Structures as Nested Datatypes – Neil Ghani, Makoto Hamana, Tarmo Uustalu, Varmo Vene
4 Modules over Monads and Linearity РAndr̩ Hirschowitz, Marco Maggesi