An Extension Of The Acid Rain Theorem (1996)

Cached

Download Links

by Zhenjiang Hu , Hideya Iwasaki , Masato Takeichi
Venue:In T Ida, A Ohori, and M Takeichi, eds, Proceedings 2nd Fuji Int Workshop on Functional and Logic Programming, Shonan Village
Citations:4 - 2 self

Documents Related by Co-Citation

105 Data structures and program transformation – G Malcolm - 1990
97 and Order in Algorithmics – Law - 1992
193 A Short Cut to Deforestation – Andrew Gill, John Launchbury, Simon L Peyton Jones - 1993
326 Theorems for free! – Philip Wadler - 1989
46 Deriving Structural Hylomorphisms From Recursive Definitions – Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi - 1996
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
33 Tupling Calculation Eliminates Multiple Data Traversals – Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi, Akihiko Takano - 1997
403 Deforestation: Transforming programs to eliminate trees – Philip Wadler - 1990
91 Shortcut Deforestation in Calculational Form – Akihiko Takano, Erik Meijer - 1995
2 A Calculational Fusion System – Y Onoue, Z Hu, H Iwasaki, M Takeichi - 1997
14 Functional Programming with Bananas – E Meijer, M Fokkinga, R Paterson - 1991
50 Heap Profiling of Lazy Functional Programs – Colin Runciman, David Wakeling - 1992
9 Structural recursive de in type theory – E Gimenez - 1998
3 Tarski's theorem and lambda calculi with monotone inductive types – R Matthes - 1999
6 A Cube of Proof Systems for the Intuitionistic Predicate mu-,nu-Logic – Tarmo Uustalu, Varmo Vene - 1997
2 Least and greatest in intuitionistic natural deduction – T Uustalu, V Vene - 2000
25 Improving Programs which Recurse over Multiple Inductive Structures – Leonidas Fegaras, Tim Sheard, Tong Zhou - 1994
1 lawski. Proof-Theoretic Approach to Inductive De in ML-Like Programming Languages versus Second-Order Lambda Calculus – Z Sp - 1993