Initial algebra semantics is enough (2007)

by Patricia Johann , Neil Ghani
Venue:Proceedings, Typed Lambda Calculus and Applications
Citations:8 - 5 self

Active Bibliography

Haskell Programming with Nested Types: A Principled Approach † – Patricia Johann, Neil Ghani
22 Foundations for structured programming with GADTs – Patricia Johann - 2008
Theoretical Foundations for Practical ‘Totally Functional Programming’ – Colin Kemp - 2007
4 Generic Operations on Nested Datatypes – Ian Bayley - 2001
Substitution in non-wellfounded . . . – Ralph Matthes, Tarmo Uustalu - 2003
1 Algebraic fusion of functions with an accumulating parameter and its improvement – Shin-ya Katsumata - 2006
15 Monadic augment and generalised short cut fusion – Neil Ghani, Patricia Johann - 2005
94 A New Approach to Generic Functional Programming – Ralf Hinze - 1999
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
6 Proving correctness via free theorems: The case of the destroy/build-rule – Janis Voigtländer - 2008
Explicit Binds: Effortless Efficiency with and without Trees – Tarmo Uustalu
unknown title – unknown authors
14 The Impact of seq on Free Theorems-Based Program Transformations – Patricia Johann, Janis Voigtländer - 2006
10 Strongly Typed Term Representations in Coq – Nick Benton, Chung-kil Hur, Andrew Kennedy, Conor McBride
5 Representing Cyclic Structures as Nested Datatypes – Neil Ghani, Makoto Hamana, Tarmo Uustalu, Varmo Vene
Foundations and Applications of Higher-Dimensional Directed Type Theory – n.n.
Foundations and Applications of Higher-Dimensional Directed Type Theory – Robert Harper, Daniel R. Licata
17 A Universe of Binding and Computation – Daniel R. Licata, Robert Harper