CML

Warning: The download time has expired please click on the item to try again.

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.

	AB86	Abramsky, S. and R. Bornat. Pascabm: a language for loosely coupled distributed systems. In Paker, Y. and j.-E Verjus, editors, Distributed Computing Systems, pp. 163- 189. Academic Press, New York, N.Y., 1986.
	AEL88	A. W. Appel , J. R. Ellis , K. Li, Real-time concurrent collection on stock multiprocessors, Proceedings of the ACM SIGPLAN 1988 conference on Programming Language design and Implementation, p.11-20, June 20-24, 1988, Atlanta, Georgia, United States
	Agh86	Gul Agha, Actors: a model of concurrent computation in distributed systems, MIT Press, Cambridge, MA, 1986
	AJ89	A. W. Appel , T. Jim, Continuation-passing, closure-passing style, Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.293-302, January 11-13, 1989, Austin, Texas, United States [doi>10.1145/75277.75303]
	AM87	Andrew W. Appel , David B. MacQueen, A standard ML compiler, Proc. of a conference on Functional programming languages and computer architecture, p.301-324, October 1987, Portland, Oregon, United States
	App89	A. W. Appel, Simple generational garbage collection and fast allocation, Software—Practice & Experience, v.19 n.2, p.171-183, February 1989 [doi>10.1002/spe.4380190206]
	AS83	Gregory R. Andrews , Fred B. Schneider, Concepts and Notations for Concurrent Programming, ACM Computing Surveys (CSUR), v.15 n.1, p.3-43, March 1983 [doi>10.1145/356901.356903]
	BCJ+90	Birman, K., R. Cooper, T. A. Joseph, K. Marzullo, M. Makpangou, K. Kane, E Schmuck, and M. Wood. The ISIS system manual, version 2.0. Computer Science Department, Cornell University, Ithaca, NY 14853, March 1990.
	Bor86	R Bornat, A protocol for generalized occam, Software—Practice & Experience, v.16 n.9, p.783-799, Sept. 1986
	BS90	Buhr, P A and R. A Stroobosscher The ~system Providing light-weight concurrency on shared-memory multiprocessor computers running umx Software- Practice and Experience, 20(9), September 1990, pp 929-963
	Bur88	A. Burns, Programming in Occam 2, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1987
	Car86	L Cardelli, Amber, Proc. of the thirteenth spring school of the LITP on Combinators and functional programming languages, p.21-47, October 1986, Val d'Ajol, France
	CM90	Cooper, E. C. and J G. Morrisett. Adding threads to standard ML Technical Report CMU-CS-90-186, School of Computer Science, Carnegie Mellon University, December 1990.
	CP85	Luca Cardelli , Rob Pike, Squeak: a language for communicating with mice, ACM SIGGRAPH Computer Graphics, v.19 n.3, p.199-204, Jul. 1985
	DH89	R. K. Dybvig , R. Hieb, Engines from continuations, Computer Languages, v.14 n.2, p.109-123, Aug. 1989 [doi>10.1016/0096-0551(89)90018-0]
	DHM91	Bruce Duba , Robert Harper , David MacQueen, Typing first-class continuations in ML, Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.163-173, January 21-23, 1991, Orlando, Florida, United States [doi>10.1145/99583.99608]
	Haa90	Haahr, D. Montage: breaking windows into small pieces In USENIX Summer Conference, June 1990, pp. 289-297.
	Har86	Harper, R Introduction to standard ML Technical Report ECS-LFCS-86-14, Laboratory for Foundations of Computer Science, Computer Science Department, Edinburgh Umvers~ty, August 1986.
	HDB90	R. Hieb , R. Kent Dybvig , Carl Bruggeman, Representing control in the presence of first-class continuations, Proceedings of the ACM SIGPLAN 1990 conference on Programming language design and implementation, p.66-77, June 1990, White Plains, New York, United States
	HFW84	Christopher T. Haynes , Daniel P. Friedman , Mitchell Wand, Continuations and coroutines, Proceedings of the 1984 ACM Symposium on LISP and functional programming, p.293-298, August 06-08, 1984, Austin, Texas, United States [doi>10.1145/800055.802046]
	Hol83	Holmstrom, S. PFL: a functional Ianguage for parallel programming. In Declarative programming workshop, April 1983, pp. 114-139.
	KKR+86	David Kranz , Norman Adams , Richard Kelsey , Jonathan Rees , Paul Hudak , James Philbin, ORBIT: an optimizing compiler for scheme, Proceedings of the 1986 SIGPLAN symposium on Compiler construction, p.219-233, June 25-27, 1986, Palo Alto, California, United States
	LCJS87	B. Liskov , D. Curtis , P. Johnson , R. Scheifer, Implementation of Argus, Proceedings of the eleventh ACM Symposium on Operating systems principles, p.111-122, November 08-11, 1987, Austin, Texas, United States
	Lie86	Henry Lieberman, Using prototypical objects to implement shared behavior in object-oriented systems, Conference proceedings on Object-oriented programming systems, languages and applications, p.214-223, September 29-October 02, 1986, Portland, Oregon, United States
	LS88	B. Liskov , L. Shrira, Promises: linguistic support for efficient asynchronous procedure calls in distributed systems, Proceedings of the ACM SIGPLAN 1988 conference on Programming Language design and Implementation, p.260-267, June 20-24, 1988, Atlanta, Georgia, United States
	Mac84	David MacQueen, Modules for standard ML, Proceedings of the 1984 ACM Symposium on LISP and functional programming, p.198-207, August 06-08, 1984, Austin, Texas, United States [doi>10.1145/800055.802036]
	Mat89	Matthews, D C J'Pr~cessesf~rP~lyandML'InPapers~n Poly/ML, Technical Report 161. University of Cambridge, February 1989
	MTH90	Robin Milner , Mads Tofte , Robert Harper, The definition of Standard ML, MIT Press, Cambridge, MA, 1990
	Nye90	Adrian Nye, Xlib programming manual (3rd ed.), O'Reilly & Associates, Inc., Sebastopol, CA, 1993
	Pik89	Pike, R. A concurrent window system. Computing Systems, 2(2), 1989, pp. 133-153.
	Ram90	Ramsey, N Concurrent programming in ML Technical Report CS-TR-262-90, Department of Computer Science, Princeton Univers2y, April 1990
	Rep88	J. H. Reppy, Synchronous operations as first-class values, Proceedings of the ACM SIGPLAN 1988 conference on Programming Language design and Implementation, p.250-259, June 20-24, 1988, Atlanta, Georgia, United States
	Rep89	John H. Reppy, First-Class Synchronous Operations in Standard ML, Cornell University, Ithaca, NY, 1989
	Rep90a	John H. Reppy, Asynchronous Signals is Standard ML, Cornell University, Ithaca, NY, 1990
	Rep90b	Reppy, J H. Concurrent programming with events - The concurrent ML manual. Computer Science Department, Cornell Umverslty, Ithaca, NY 14853, November 1990
	Rep91a	Reppy, J H. Two garbage collectors for SML/NJ Cornell University techincal report, in preparation, 1991
	Rep91b	John Hamilton Reppy, Higher-order concurrency, Cornell University, Ithaca, NY, 1992
	RG86	J H Reppy , E R Gansner, A foundation for programming environments, Proceedings of the second ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments, p.218-227, December 09-11, 1986, Palo Alto, California, United States
	SG86	Robert W. Scheifler , Jim Gettys, The X window system, ACM Transactions on Graphics (TOG), v.5 n.2, p.79-109, April 1986 [doi>10.1145/22949.24053]
	Sha87	Shaw, R A Improving garbage collection performance in virtualmemory Technical Report CSL-TR-87-323 , Computer Systems Laboratory, Stanford University, 1987.
	Ste78	Steele Jr., G. L. Rabbit: a compiler for scheme. Master's thesis, MIT, May 1978.
	Wan80	Mitchell Wand, Continuation-based multiprocessing, Proceedings of the 1980 ACM conference on LISP and functional programming, p.19-28, August 25-27, 1980, Stanford University, California, United States [doi>10.1145/800087.802786]