A Fold for All Seasons (1993)

Cached

Download Links

by Tim Sheard , Leonidas Fegaras
Venue:IN PROC. CONFERENCE ON FUNCTIONAL PROGRAMMING LANGUAGES AND COMPUTER ARCHITECTURE
Citations:112 - 15 self

Active Bibliography

4 Optimizing Algebraic Programs – Tim Sheard, Leonidas Fegaras - 1994
25 Improving Programs which Recurse over Multiple Inductive Structures – Leonidas Fegaras, Tim Sheard, Tong Zhou - 1994
12 Efficient Optimization of Iterative Queries – Leonidas Fegaras - 1993
13 Type Parametric Programming – Tim Sheard - 1993
3 Eliminating Intermediate Lists in pH using Local Transformations – Jan-Willem Maessen - 1994
9 Calculating Software Generators from Solution Specifications – Richard B. Kieburtz, Francoise Bellegarde, Jef Bell, James Hook, Jeffrey Lewis, Dino Oliva, Tim Sheard, Lisa Walton, Tong Zhou - 1994
23 Warm Fusion in Stratego: A Case Study in Generation of Program Transformation Systems – Patricia Johann, Eelco Visser - 2000
73 Warm Fusion: Deriving Build-Catas from Recursive Definitions – John Launchbury, Tim Sheard - 1995
1 Warm Fusion for the Masses: Detailing Virtual Data Structure Elimination in Fully Recursive Languages – Patricia Johann, John Launchbury - 1997
10 Integer Constraints to Stop Deforestation – Helmut Seidl - 1996
2 Towards polytypic parallel programming – Zhenjiang Hu, Masato Takeichi, Hideya Iwasaki - 1998
21 Two for the Price of One: Composing Partial Evaluation and Compilation – Michael Sperber, Peter Thiemann - 1997
9 Diffusion: Calculating Efficient Parallel Programs – Zhenjiang Hu , Masato Takeichi, Hideya Iwasaki - 1999
1 Simplifying Parallel List Traversal – Jan-willem Maessen, Jan-willem Maessen - 1995
49 The Under-Appreciated Unfold – Jeremy Gibbons, Geraint Jones - 1998
Chapter 1 Coalgebras as Types determined by their Elimination Rules – Anton Setzer
24 From recursion to iteration: what are the optimizations? – Yanhong A. Liu, Scott D. Stoller - 2000
Why Automatic Transformation Matters – Ogi
Research Article Array Iterators in Lustre: From a Language Extension to Its Exploitation in Validation – Lionel Morel