Type Inference Builds a Short Cut to Deforestation (1999)

Cached

Download Links

by Olaf Chitil
Citations:25 - 2 self

Active Bibliography

1 Warm Fusion for the Masses: Detailing Virtual Data Structure Elimination in Fully Recursive Languages – Patricia Johann, John Launchbury - 1997
15 Monadic augment and generalised short cut fusion – Neil Ghani, Patricia Johann - 2005
Hybrid Strategies for Query Translation and Optimisation – Torsten Grust , Marc H. Scholl - 1998
5 Type-inference based short cut deforestation (nearly) without inlining – Olaf Chitil - 1999
23 Warm Fusion in Stratego: A Case Study in Generation of Program Transformation Systems – Patricia Johann, Eelco Visser - 2000
43 Stream Fusion. From Lists to Streams to Nothing at All – Duncan Coutts, Roman Leshchinskiy, Don Stewart - 2007
4 Program Transformation in Calculational Form – Akihiko Takano, Zhenjiang Hu, Masato Takeichi - 1998
8 Better Consumers for Program Specializations – Wei-Ngan Chin, Siau-Cheng Khoo, Editorial Board, H. Ait-kaci, L. Augustsson, Ch. Brzoska, J. Darlington, Y. Guo, M. Hagiya, M. Hanus, T. Ida, J. Jaffar, B. Jayaraman, M. Kohler, A. Krall, J. Lloyd, A. Middeldorp, D. Miller, J. J. Moreno-navarro, L. Naish M. J. O'donnell, P. Padawitz, C. Palamidessi, F. Pfenning, D. Plaisted, R. Plasmeijer, U. Reddy, P. Van, Hentenryck D. S. Warren - 1996
15 Declarative Program Transformation: a Deforestation case-study – Loïc Correnson, Etienne Duris, Didier Parigot, Gilles Roussel - 1999
33 A Calculational Fusion System HYLO – Yoshiyuki Onoue, Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi - 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
10 Integer Constraints to Stop Deforestation – Helmut Seidl - 1996
12 Constraints to Stop Higher-Order Deforestation – H. Seidl, M.H. Sørensen - 1997
11 How to Comprehend Queries Functionally – Torsten Grust, Marc H. Scholl - 1999
15 The Worker/Wrapper Transformation – Andy Gill, Graham Hutton - 2009
22 Fold and Unfold for Program Semantics – Graham Hutton - 1998
5 Functional polytypic programming | use and implementation – Patrik Jansson - 1997
9 Attribute Grammars and Folds: Generic Control Operators – Etienne Duris, Didier Parigot, Gilles Roussel, Martin Jourdan - 1996