|
5
|
Initial algebra semantics is enough
– Patricia Johann, Neil Ghani
- 2007
|
|
5
|
Proving correctness via free theorems: The case of the destroy/build-rule
– Janis Voigtländer
- 2008
|
|
3
|
Generic Operations on Nested Datatypes
– Ian Bayley
- 2001
|
|
|
Theoretical Foundations for Practical ‘Totally Functional Programming’
– Colin Kemp
- 2007
|
|
2
|
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
|
|
9
|
Monadic augment and generalised short cut fusion
– Neil Ghani, Patricia Johann
- 2005
|
|
12
|
The Impact of seq on Free Theorems-Based Program Transformations
– Patricia Johann, Janis Voigtländer
- 2006
|
|
19
|
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
|
|
33
|
Free Theorems in the Presence of seq
– Patricia Johann, Janis Voigtländer
- 2004
|
|
3
|
Disciplined, Efficient, Generalised Folds for Nested Datatypes
– Clare Martin, Jeremy Gibbons, Ian Bayley
- 2002
|
|
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
|
|
10
|
Programming With Types
– Stephanie Claudene Weirich
- 2002
|
|
1
|
Phase distinctions in the compilation of Epigram
– James Mckinna, Edwin Brady
- 2005
|
|
3
|
Build, augment and destroy. Universally
– Neil Ghani, Tarmo Uustalu, Varmo Vene
- 2004
|
