Fixed points of type constructors and primitive recursion (2004)

by Andreas Abel , Ralph Matthes
Venue:Computer Science Logic, 18th International Workshop, CSL 2004, 13th Annual Conference of the EACSL, Karpacz, Poland, September 20-24, 2004, Proceedings, volume 3210 of Lecture Notes in Computer Science
Citations:7 - 3 self

Active Bibliography

Haskell Programming with Nested Types: A Principled Approach † – Patricia Johann, Neil Ghani
2 Verification of the Redecoration Algorithm for Triangular Matrices – Ralph Matthes, Martin Strecker - 2007
Substitution in non-wellfounded . . . – Ralph Matthes, Tarmo Uustalu - 2003
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
2 2-Dimensional Directed Type Theory – Daniel R. Licata, Robert Harper
Foundations and Applications of Higher-Dimensional Directed Type Theory – n.n.
2-Dimensional Directed Dependent Type Theory – Daniel R. Licata, Robert Harper - 2011
Foundations and Applications of Higher-Dimensional Directed Type Theory – Robert Harper, Daniel R. Licata
5 Representing Cyclic Structures as Nested Datatypes – Neil Ghani, Makoto Hamana, Tarmo Uustalu, Varmo Vene
4 Generic Operations on Nested Datatypes – Ian Bayley - 2001
10 Monotone Inductive and Coinductive Constructors of Rank 2 – Ralph Matthes - 2001
10 Semi-continuous sized types and termination – Andreas Abel
11 Weak Normalization for the Simply-Typed Lambda-Calculus in Twelf (Extended Abstract) – Andreas Abel - 2004
1 Realisability and adequacy for (co)induction – Ulrich Berger
Contents TLCA List of Open Problems – unknown authors - 2007
11 Programming With Types – Stephanie Claudene Weirich - 2002
52 Generic programming within dependently typed programming – Thorsten Altenkirch, Conor Mcbride - 2003
8 Initial algebra semantics is enough – Patricia Johann, Neil Ghani - 2007