Integer Constraints to Stop Deforestation (1996)

by Helmut Seidl
Citations:10 - 2 self

Documents Related by Co-Citation

403 Deforestation: Transforming programs to eliminate trees – Philip Wadler - 1990
17 Higher Order Deforestation – G.W. Hamilton, St Bg - 1995
60 Safe fusion of functional expressions – Wei-Ngan Chin - 1992
91 Shortcut Deforestation in Calculational Form – Akihiko Takano, Erik Meijer - 1995
5 Deforestation for Higher-Order Functional Languages – S D Marlow - 1996
72 Warm Fusion: Deriving Build-Catas from Recursive Definitions – John Launchbury, Tim Sheard - 1995
193 A Short Cut to Deforestation – Andrew Gill, John Launchbury, Simon L Peyton Jones - 1993
14 A grammar-based data-flow analysis to stop deforestation – M H S��rensen - 1994
574 A Transformation System for Developing Recursive Programs – R. M. Burstall, John Darlington - 1977
35 Safe fusion of functional expressions II: Further improvements – Wei-Ngan Chin - 1994
6 On Functors Expressible in the Polymorphic Lambda Calculus – J C Reynolds, G D Plotkin - 1990
36 Categorical semantics for higher order polymorphic lambda calculus – R Seely - 1987
32 Guaranteeing Safe Destructive Updates through a Type System with Uniqueness Information for Graphs – Sjaak Smetsers, Erik Barendsen, Marko van Eekelen, Rinus Plasmeijer - 1994
32 Compilation by Transformation in Non-Strict Functional Languages – André L. de M. Santos - 1995
3 Extending First Order Deforestation – G.W. Hamilton, St Bg - 1995
79 On perfect supercompilation – Jens Peter Secher, Morten Heine Sørensen - 1996
6 Least Solution of Equations over N – H Seidl - 1994
4 Better consumers for deforestation – W-N Chin, S-C Khoo - 1995
299 Programming with bananas, lenses, envelopes and barbed wire – Erik Meijer, Maarten Fokkinga, Ross Paterson - 1991