How to Make Destructive Updates Less Destructive (1991)

Cached

Download Links

by Martin Odersky
Venue:IN PROC. 18TH ACM SYMP. ON PRINCIPLES OF PROGRAMMING LANGUAGES
Citations:14 - 1 self

Active Bibliography

22 Observers for Linear Types – Martin Odersky - 1992
9 Syntactic Detection of Single-Threading using Continuations – Pascal Fradet - 1991
81 Once Upon a Type – David Turner, Philip Wadler, Christian Mossin - 1995
134 Linear Types Can Change the World! – Philip Wadler - 1990
456 Comprehending Monads – Philip Wadler - 1992
17 Linearity and Laziness – David Wakeling, Colin Runciman - 1990
March 1991 – Ar Ch, Philip Wadler - 1991
88 Is there a use for linear logic? – Philip Wadler - 1991
A Data Structure for More Efficient . . . – Melissa Elizabeth O’Neill - 1994
15 Shallow Binding Makes Functional Arrays Fast – Henry G. Baker - 1991
1 Abstract Interpretation and Attribute Grammars – Mads Rosendahl, Clare Hall - 1992
23 Proving Memory Management Invariants for a Language Based on Linear Logic – Jawahar Chirimar, Carl A. Gunter, Jon G. Riecke - 1992
Interprocedural Pointer Alias Analysis – Paul R. Carini, Michael Burke, Michael Burke, Paul Carini, Jong-deok Choi, Jong-deok Choi, Michael Hind, Michael Hind - 1997
13 Control-Flow Analysis of Functional Programs – Jan Midtgaard - 2007
99 Interprocedural Pointer Alias Analysis – Michael Hind, Michael Burke, Paul Carini, Jong-deok Choi - 1999
34 Reference Counting as a Computational Interpretation of Linear Logic – Jawahar Chirimar, Carl A. Gunter, Jon G. Riecke - 1996
12 Real-Time Deques, Multihead Turing Machines, and Purely Functional Programming – Tyng-Ruey Chuang, Benjamin Goldberg - 1993
93 Putting Pointer Analysis to Work – Rakesh Ghiya, Laurie J. Hendren - 1998
4 Efficient Computation of Fixpoints that Arise in Complex Program Analysis – Li-ling Chen, Williams Ludwell Harrison III, Williams Ludwell, Harrison Iii, Kwangkeun Yi