How to make destructive updates less destructive

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

How to make destructive updates less destructive

Full text

Pdf (902 KB)

Source

Annual Symposium on Principles of Programming Languages archive
Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages table of contents

Orlando, Florida, United States

Pages: 25 - 36

Year of Publication: 1991

ISBN:0-89791-419-8

Author

Martin Odersky

IBM T.J. Watson Research Center, P.O. Box 704, Yorktown Heights, NY

Sponsors

SIGPLAN: ACM Special Interest Group on Programming Languages
SIGACT: ACM Special Interest Group on Algorithms and Computation Theory

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 2, Downloads (12 Months): 18, Citation Count: 6

Additional Information:

references cited by index terms collaborative colleagues

Tools and Actions:	Request Permissions Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/99583.99590 What is a DOI?

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	Adrienne Bloss, Update analysis and the efficient implementation of functional aggregates, Proceedings of the fourth international conference on Functional programming languages and computer architecture, p.26-38, September 11-13, 1989, Imperial College, London, United Kingdom [doi>10.1145/99370.99373]
	2	R. Cytron , J. Ferrante , B. K. Rosen , M. N. Wegman , F. K. Zadeck, An efficient method of computing static single assignment form, Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.25-35, January 11-13, 1989, Austin, Texas, United States [doi>10.1145/75277.75280]
	3	Luis Damas , Robin Milner, Principal type-schemes for functional programs, Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.207-212, January 25-27, 1982, Albuquerque, Mexico [doi>10.1145/582153.582176]
	4	Alan Deutsch, On determining lifetime and aliasing of dynamically allocated data in higher-order functional specifications, Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.157-168, December 1989, San Francisco, California, United States [doi>10.1145/96709.96725]
	5	M. Draghicescu , S. Purushothaman, A compositional analysis of evaluation-order and its application, Proceedings of the 1990 ACM conference on LISP and functional programming, p.242-250, June 27-29, 1990, Nice, France [doi>10.1145/91556.91658]
	6	W.L. Harrison. The interprocedural analysis and automatic parallelization of Scheme programs. Lisp and Symbolic Computation 2(3/4), October 1989.
	7	Kourosh Gharachorloo , Vivek Sarkar , John L. Hennessy, A simple and efficient implmentation approach for single assignment languages, Proceedings of the 1988 ACM conference on LISP and functional programming, p.259-268, July 25-27, 1988, Snowbird, Utah, United States [doi>10.1145/62678.62718]
	8	M. Gordon , R. Milner , L. Morris , M. Newey , C. Wadsworth, A Metalanguage for interactive proof in LCF, Proceedings of the 5th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, p.119-130, January 23-25, 1978, Tucson, Arizona [doi>10.1145/512760.512773]
	9	J.C. Guzm~n and P. Hudak. Single-threaded polymorphic lambda calculus. In Proc. 5th IEEE Symposium on Logic in Computer Science, June 1990.
	10	P. i-Iudak. A semantic model of reference counting and its abstraction. In: S. Abramsky and C. Hankin (eds): Abstract interpretation of declarative languages, Ellis Horwood Ltd., 1987.
	11	P. Hudak and P. Wadler (editors). Report on the functional programming language Haskell. Technical Report YALEU/DCS/RR666, Yale University, Department of Computer Science, November 1988.
	12	J. M. Lucassen , D. K. Gifford, Polymorphic effect systems, Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.47-57, January 10-13, 1988, San Diego, California, United States [doi>10.1145/73560.73564]
	13	J. McGraw et al. SISAL: streams and iterators in a single assignment language, language reference manual. Technical Report M-146, LLNL, March 1985.
	14	F L Bauer , R Berghammer , M Broy , W Dosch , F Geiselbrechtinger , R Gnatz , E Hangel , W Hesse , B Krieg-Brückner , A Laut , T Matzner , B Möller , F Nickl , H Partsch , P Pepper , K Samelson , M Wirsing , H Wössner, The Munich Project CIP: Volume I: the wide spectrum language CIP-L, Springer-Verlag, London, 1986
	15	D.A. Schmidt. Denotational semantics as a programming language. Internal report CSR-100, Computer Science Department, University of Edinburgh, 1982.
	16	P. Wadler. Linear types can change the world! Proc. IFIP TC2 Working Conference on Programming Concepts and Methods, April 1990.
	17	Philip Wadler, Comprehending monads, Proceedings of the 1990 ACM conference on LISP and functional programming, p.61-78, June 27-29, 1990, Nice, France [doi>10.1145/91556.91592]
	18	J. H. Williams , E. L. Wimmers, Sacrificing simplicity for convenience: Where do you draw the line?, Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.169-179, January 10-13, 1988, San Diego, California, United States [doi>10.1145/73560.73575]

CITED BY 6

	Chris Okasaki, Purely functional random-access lists, Proceedings of the seventh international conference on Functional programming languages and computer architecture, p.86-95, June 26-28, 1995, La Jolla, California, United States
	Tyng-Ruey Chuang, A randomized implementation of multiple functional arrays, ACM SIGPLAN Lisp Pointers, v.VII n.3, p.173-184, July-Sept. 1994
	Tyng-Ruey Chuang , Benjamin Goldberg, Real-time deques, multihead Turing machines, and purely functional programming, Proceedings of the conference on Functional programming languages and computer architecture, p.289-298, June 09-11, 1993, Copenhagen, Denmark
	Henry G. Baker, “Use-once” variables and linear objects: storage management, reflection and multi-threading, ACM SIGPLAN Notices, v.30 n.1, p.45-52, Jan. 1995
	George Becker , Neil V. Murray, Efficient execution of programs with static semantics, ACM SIGPLAN Notices, v.30 n.4, p.51-60, April 1995
	Akihiko Tozawa , Michiaki Tatsubori , Tamiya Onodera , Yasuhiko Minamide, Copy-on-write in the PHP language, Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages, January 21-23, 2009, Savannah, GA, USA