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:8 - 3 self

Active Bibliography

Fixed Points of Type Operators and Primitive Recursion – Andreas Abel, Ralph Matthes - 2004
Haskell Programming with Nested Types: A Principled Approach – Patricia Johann, Neil Ghani - 2009
Primitive Recursion for Rank-2 Inductive Types – Andreas Abel, Ralph Matthes
218 Type systems – Luca Cardelli, Jim Donahue, Mick Jordan, Bill Kalsow, Greg Nelson - 1997
2 Verification of the Redecoration Algorithm for Triangular Matrices – Ralph Matthes, Martin Strecker - 2007
97 A New Approach to Generic Functional Programming – Ralf Hinze - 1999
9 (Co-)iteration for higher-order nested datatypes – Andreas Abel, Ralph Matthes - 2003
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