|
4
|
Attribute Grammars and Functional Programming Deforestation
– Loïc Correnson, Etienne Duris, Didier Parigot, Gilles Roussel, Le Chesnay Cedex, Gilles Roussel Is Also
- 1997
|
|
3
|
How to Deforest in Accumulative Parameters?
– Loïc Correnson, How Deforest, Accumulative Parameters, Etienne Duris, Etienne Duris, Didier Parigot, Didier Parigot, Gilles Roussel, Gilles Roussel
- 1999
|
|
9
|
Attribute Grammars and Folds: Generic Control Operators
– Etienne Duris, Didier Parigot, Gilles Roussel, Martin Jourdan
- 1996
|
|
15
|
Declarative Program Transformation: a Deforestation case-study
– Loïc Correnson, Etienne Duris, Didier Parigot, Gilles Roussel
- 1999
|
|
5
|
Structure-directed Genericity in Functional Programming and Attribute Grammars
– Etienne Duris, Etienne Duris, Didier Parigot, Didier Parigot, Gilles Roussel, Gilles Roussel, Martin Jourdan, Martin Jourdan
- 1997
|
|
1
|
Generic Programming by Program Composition
– Loïc Correnson, Etienne Duris, Didier Parigot, Gilles Roussel
- 1998
|
|
3
|
Equational Semantics
– Loïc Correnson, Inria Rocquencourt
- 1999
|
|
2
|
Deforesting in Accumulating Parameters via Type-Directed Transformations
– Susumu Nishimura
- 2002
|
|
3
|
An Extension Of The Acid Rain Theorem
– Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi
- 1996
|
|
31
|
Tupling Calculation Eliminates Multiple Data Traversals
– Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi, Akihiko Takano
- 1997
|
|
|
Composition Symbolique
– Loïc Correnson, Etienne Duris, Didier Parigot, Gilles Roussel
- 1997
|
|
32
|
A Calculational Fusion System HYLO
– Yoshiyuki Onoue, Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi, Y. Onoue, Z. Hu, H. Iwasaki, M. Takeichi
- 1997
|
|
20
|
Composition of functions with accumulating parameters
– Janis Voigtländer, Armin Kühnemann
- 2004
|
|
1
|
Abstract Interpretation and Attribute Grammars
– Mads Rosendahl, Clare Hall
- 1992
|
|
46
|
Deriving Structural Hylomorphisms From Recursive Definitions
– Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi
- 1996
|
|
11
|
Constraints to Stop Higher-Order Deforestation
– H. Seidl, M.H. Sørensen
- 1997
|
|
2
|
Towards polytypic parallel programming
– Zhenjiang Hu, Masato Takeichi, Hideya Iwasaki
- 1998
|
|
4
|
Program Transformation in Calculational Form
– Akihiko Takano, Zhenjiang Hu, Masato Takeichi
- 1998
|
|
|
On Deforesting Parameters of Accumulating Maps (Extended Abstract)
– Kazuhiko Kakehi, Robert Glück, Yoshihiko Futamura
- 2001
|
