|
5
|
Functional polytypic programming | use and implementation
– Patrik Jansson
- 1997
|
|
41
|
Calculate Polytypically!
– Lambert Meertens
- 1996
|
|
25
|
Improving Programs which Recurse over Multiple Inductive Structures
– Leonidas Fegaras, Tim Sheard, Tong Zhou
- 1994
|
|
|
Theoretical Foundations for Practical ‘Totally Functional Programming’
– Colin Kemp
- 2007
|
|
4
|
Optimizing Algebraic Programs
– Tim Sheard, Leonidas Fegaras
- 1994
|
|
46
|
Deriving Structural Hylomorphisms From Recursive Definitions
– Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi
- 1996
|
|
22
|
Warm Fusion in Stratego: A Case Study in Generation of Program Transformation Systems
– Patricia Johann, Eelco Visser
- 2000
|
|
2
|
Using the Parametricity Theorem for Program Fusion
– Leonidas Fegaras
- 1996
|
|
3
|
An Extension Of The Acid Rain Theorem
– Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi
- 1996
|
|
84
|
Shortcut Deforestation in Calculational Form
– Akihiko Takano, Erik Meijer
- 1995
|
|
4
|
Fusion for Free!
– Leonidas Fegaras
- 1996
|
|
86
|
Polytypic programming
– Patrik Jansson, Patrik Jansson
- 1996
|
|
46
|
Merging Monads and Folds for Functional Programming
– Erik Meijer, Johan Jeuring
- 1995
|
|
4
|
Coding Recursion a la Mendler (Extended Abstract)
– Tarmo Uustalu, Varmo Vene
- 2000
|
|
3
|
Equational Semantics
– Loïc Correnson, Inria Rocquencourt
- 1999
|
|
4
|
Attribute Grammars and Functional Programming Deforestation
– Loïc Correnson, Etienne Duris, Didier Parigot, Gilles Roussel, Le Chesnay Cedex, Gilles Roussel Is Also
- 1997
|
|
9
|
Attribute Grammars and Folds: Generic Control Operators
– Etienne Duris, Didier Parigot, Gilles Roussel, Martin Jourdan
- 1996
|
|
7
|
Symbolic Composition
– Loïc Correnson, Etienne Duris, Didier Parigot, Gilles Roussel
- 1998
|
|
2
|
Deriving animations from recursive definitions
– Alcino Cunha, José Barros, João Saraiva
- 2002
|
