Symbolic Composition (1998)

by Loïc Correnson , Etienne Duris , Didier Parigot , Gilles Roussel
Citations:7 - 4 self

Active Bibliography

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
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
5 Structure-directed Genericity in Functional Programming and Attribute Grammars – Etienne Duris, Didier Parigot, Gilles Roussel, Martin Jourdan - 1997
4 An Extension Of The Acid Rain Theorem – Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi - 1996
33 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
33 A Calculational Fusion System HYLO – Yoshiyuki Onoue, Zhenjiang Hu, Hideya Iwasaki, Masato 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
12 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