A Uniform Treatment of Order of Evaluation and Aggregate Update (1993)

Cached

Download Links

by M. Draghicescu , S. Purushothaman
Venue:Theoretical Computer Science
Citations:8 - 0 self

Documents Related by Co-Citation

67 A Semantic Model of Reference Counting and its Abstraction – Paul Hudak - 1986
19 Order-of-evaluation Analysis for Destructive Updates in Strict Functional Languages with Flat Aggregates – A. V. S. Sastry, William D. CLinger, Zena Ariola - 1993
16 Path Analysis and the Optimization of Non-strict Functional Languages – A Bloss - 1989
16 Copy elimination in functional languages – K. Gopinath, John L. Hennessy - 1989
14 Set Constraints for Destructive Array Update Optimization – Mitchell Wand, William D. Clinger - 1999
71 Single-threaded polymorphic lambda calculus – J C Guzman, P Hudak - 1990
15 Path semantics – A Bloss, P Hudak
14 How to Make Destructive Updates Less Destructive – Martin Odersky - 1991
134 Linear Types Can Change the World! – Philip Wadler - 1990
3 Avoiding copying in functional and logic programming languages – P Hudak, A Bloss - 1985
298 Control-Flow Analysis of Higher-Order Languages – Olin Shivers - 1991
43 The Aggregate Update Problem in Functional Programming Systems. Pages 300–313 of – P Hudak, A Bloss - 1985
67 The complexity of set constraints – Er Aiken, Dexter Kozen, Moshe Vardi - 1993
96 How to Declare an Imperative – Philip Wadler - 1995
10 Hugs 98 User Manual – M Jones, J Peterson - 1999
11 Parametric polymorphism and operational equivalence. Mathematical Structures in Computer Science, 10:321–359, 2000. A preliminary version appeared – A M Pitts - 1997
10 P-logic: property verification for Haskell programs – Richard B. Kieburtz - 2002
17 From SOS Rules to Proof Principles: An Operational Metatheory for Functional Languages – David Sands - 1997
28 A simple, lazy abstract machine to execute supercombinators – Tim - 1987