Foundations for structured programming with GADTs (2008)

Cached

Download Links

by Patricia Johann
Venue:Conference record of the ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
Citations:22 - 4 self

Active Bibliography

Haskell Programming with Nested Types: A Principled Approach † – Patricia Johann, Neil Ghani
8 Initial algebra semantics is enough – Patricia Johann, Neil Ghani - 2007
6 Proving correctness via free theorems: The case of the destroy/build-rule – Janis Voigtländer - 2008
4 Generic Operations on Nested Datatypes – Ian Bayley - 2001
Theoretical Foundations for Practical ‘Totally Functional Programming’ – Colin Kemp - 2007
5 Representing Cyclic Structures as Nested Datatypes – Neil Ghani, Makoto Hamana, Tarmo Uustalu, Varmo Vene
1 Algebraic fusion of functions with an accumulating parameter and its improvement – Shin-ya Katsumata - 2006
Explicit Binds: Effortless Efficiency with and without Trees – Tarmo Uustalu
15 Monadic augment and generalised short cut fusion – Neil Ghani, Patricia Johann - 2005
13 The Impact of seq on Free Theorems-Based Program Transformations – Patricia Johann, Janis Voigtländer - 2006
Monadic Fold, Monadic Build, Monadic Short Cut Fusion – Neil Ghani
24 A constraint-based approach to guarded algebraic data types – Vincent Simonet, François Pottier - 2007
22 A framework for extended algebraic data types – Martin Sulzmann, Jeremy Wazny, Peter J. Stuckey - 2006
21.1 GENERALIZING SHORT CUT FUSION 21.1.1 Introducing Short Cut Fusion – Neil Ghani, Patricia Johann
5 Taming Selective Strictness – Daniel Seidel, Janis Voigtländer
36 Free Theorems in the Presence of seq – Patricia Johann, Janis Voigtländer - 2004
8 (Co-)iteration for higher-order nested datatypes – Andreas Abel, Ralph Matthes - 2003
4 Disciplined, efficient, generalised folds for nested datatypes – Clare Martin, Jeremy Gibbons, Ian Bayley
8 Generalized Iteration and Coiteration for Higher-Order Nested Datatypes – Andreas Abel, Ralph Matthes, Tarmo Uustalu - 2003