A Calculational Fusion System HYLO (1997)

Cached

Download Links

by Yoshiyuki Onoue , Zhenjiang Hu , Hideya Iwasaki , Masato Takeichi
Citations:32 - 10 self

Documents Related by Co-Citation

193 A Short Cut to Deforestation – Andrew Gill, John Launchbury, Simon L Peyton Jones - 1993
299 Programming with bananas, lenses, envelopes and barbed wire – Erik Meijer, Maarten Fokkinga, Ross Paterson - 1991
91 Shortcut Deforestation in Calculational Form – Akihiko Takano, Erik Meijer - 1995
403 Deforestation: Transforming programs to eliminate trees – Philip Wadler - 1990
72 Warm Fusion: Deriving Build-Catas from Recursive Definitions – John Launchbury, Tim Sheard - 1995
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
97 and Order in Algorithmics – Law - 1992
33 Tupling Calculation Eliminates Multiple Data Traversals – Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi, Akihiko Takano - 1997
49 Attribute coupled grammars – H Ganzinger, R Giegerich - 1984
1312 Monads for functional programming – Philip Wadler - 1995
215 Introduction to Functional Programming using Haskell – R Bird - 1998
31 Parallelization in Calculational Forms – Zhenjiang Hu, Masato Takeichi, Wei-ngan Chin - 1998
178 PolyP - a polytypic programming language extension – Patrik Jansson, Johan Jeuring - 1997
215 An introduction to the theory of lists – R S Bird - 1987
93 Polytypic programming – Patrik Jansson - 2000
37 Theories for Algorithm Calculation – Johan Theodoor Jeuring - 1993
625 Compiling With Continuations – A W Appel - 1992
72 Realistic Compilation by Program Transformation – Richard Kelsey, Paul Hudak - 1989