Type Inference Builds a Short Cut to Deforestation (1999)

Cached

Download Links

by Olaf Chitil
Citations:25 - 2 self

Documents Related by Co-Citation

193 A Short Cut to Deforestation – Andrew Gill, John Launchbury, Simon L Peyton Jones - 1993
64 Cheap Deforestation for Non-strict Functional Languages – Andrew John Gill, Andrew John Gill - 1996
42 Shortcut Fusion for Accumulating Parameters Zip-like Functions – Josef Svenningsson - 2002
25 Concatenate, Reverse and Map Vanish For Free – Janis Voigtländer - 2002
91 Shortcut Deforestation in Calculational Form – Akihiko Takano, Erik Meijer - 1995
75 Parametric Polymorphism and Operational Equivalence – Andrew M. Pitts - 2000
403 Deforestation: Transforming programs to eliminate trees – Philip Wadler - 1990
56 Playing by the rules: rewriting as a practical optimisation technique in GHC – Simon Peyton Jones, Andrew Tolmach, Tony Hoare
72 Warm Fusion: Deriving Build-Catas from Recursive Definitions – John Launchbury, Tim Sheard - 1995
46 Deriving Structural Hylomorphisms From Recursive Definitions – Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi - 1996
326 Theorems for free! – Philip Wadler - 1989
22 Parametricity and Unboxing with Unpointed Types – John Launchbury, Ross Paterson - 1996
365 Types, abstraction and parametric polymorphism – J C Reynolds - 1983
113 A Fold for All Seasons – Tim Sheard , Leonidas Fegaras - 1993
574 A Transformation System for Developing Recursive Programs – R. M. Burstall, John Darlington - 1977
325 Denotational Semantics: A Methodology for Language Development – David A Schmidt - 1986
17 A generalization of short-cut fusion and its correctness proof – P Johann
28 Interprétation functionelle et élimination des coupures de l’arithmétique d’ordre supérieur – Jean-Yves Girard - 1972
54 Equality between functionals – Harvey Friedman - 1975