Improving Functional Logic Programs by Difference-Lists (2000)

Cached

Download Links

by Elvira Albert , Cesar Ferri , Frank Steiner , German Vidal
Citations:2 - 0 self

Documents Related by Co-Citation

1 H.-J.: A guide for manual construction of differencelist procedures – U Geske, Goltz - 2009
1 H.: Prolog Transformation by Introduction of Difference-Lists – K Marriott, Søndergaard - 1988
6 An Automatic Difference-list Transformation Algorithm for – J Zhang, P W Grant - 1988
9 Difference-list transformation for prolog – K Marriott, H Søndergaard - 1993
35 A First Order Theory of Data and Programs – K L Clark, S-A Tarnlund - 1977
621 The Art of Prolog – L Sterling, E Shapiro - 1986
3 Short cut fusion: Proved and improved – Patricia Johann - 2001
7 The Many Disguises of Accumulation – Eerke Boiten - 1991
25 Type Inference Builds a Short Cut to Deforestation – Olaf Chitil - 1999
22 Parametricity and Unboxing with Unpointed Types – John Launchbury, Ross Paterson - 1996
87 The promotion and accumulation strategies in transformational programming – R Bird - 1984
15 The Concatenate Vanishes – Philip Wadler - 1987
13 Relating Accumulative and Non-Accumulative Functional Programs – Armin Kühnemann, Robert Glück, Kazuhiko Kakehi - 2001
12 Type-inference based deforestation of functional programs – O Chitil - 2000
84 A transformation-based optimiser for Haskell – Simon L. Peyton Jones, André L M Santos - 1998
82 The Design of a Pretty-printing Library – John Hughes - 1995
86 Polymorphic Type Inference – D Leivant - 1983
40 Improvement in a Lazy Context: An Operational Theory for Call-By-Need – Andrew Moran, David Sands - 1999
193 A Short Cut to Deforestation – Andrew Gill, John Launchbury, Simon L Peyton Jones - 1993