CML: A higher-order concurrent language

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)

Volumn , Issue , 1991, Pages 293-305

  Reppy, John H ^a  

^a Department of Obstetrics Gynecology   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 85036583908     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (42)

1. [AB86] Abramsky, S. and R. Bornat. Pascal-m: a language for loosely coupled distributed systems. In Paker, Y. and J.-P. Verjus, editors, Distributed Computing Systems, pp. 163-189. Academic Press, New York, N. Y, 1986.
2. [AEL88] Appel, A. W., J. R. Ellis, and K. Li. Real-time concurrent collection on stock multiprocessors In Proceedings of the SIGPLAN'88 Conference on Programming Language Design and Implementation, June 1988, pp. 11-20.
3. [Agh86] Agha, G. Actors: a Model of Concurrent Computation in Distributed Systems. The MIT Press, Cambridge, Mass., 1986.
4. [AJ89] Appel, A. W. and T. Jim. Continuation-passing, closurepassing style. In Conference Record of the 16th Annual ACM Symposium on Principles of Programming Languages, January 1989, pp. 293-302.
5. [AM87] Appel, A. W. and D. B. MacQueen. A standard ML compiler. In Functional Programming Languages and Computer Architecture, volume 274 of Lecture Notes in Computer Science. Springer-Verlag, September 1987, pp. 301-324.
6. [App89] Appel, A. W. Simple generational garbage collection and fast allocation. Software - Practice and Experience, 19(2), February 1989, pp 275-279
7. [AS83] Andrews, G. R. and F. B. Schneider. Concepts and notations for concurrent programming. ACM Computing Surveys, 15(1), March 1983, pp. 3-43.
8. [BCJ+ 90] Birman, K., R. Cooper, T. A. Joseph, K. Marzullo, M. Makpangou, K. Kane, F. Schmuck, and M. Wood. ThelSIS system manual, version 2.0. Computer Science Department, Cornell University, Ithaca, NY 14853, March 1990.
9. [Bor86] Bornat, R. A protocol for generalized occam. Software - Practice and Experience, 16(9), September 1986, pp. 783-799.
10. [BS90] Buhr, P A and R. A. Stroobosscher The μsystem Providing light-weight concurrency on shared-memory multiprocessor computers running unix Software - Practice and Experience, 20(9), September 1990, pp 929-963
11. [Bur88] Bums, A. Programming in occam 2. Addison-Wesley, Reading, Mass., 1988.
12. [Car86] Cardelh, L. Amber In Combinators and Functional Programming Languages, volume 272 of Lecture Notes in Computer Science. Springer-Verlag, July 1986, pp. 21-47.
13. [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.
14. [CP85] Cardelh, L. and R. Pike. Squeak a language for communicating with mice. In SIGGRAPH'85, July 1985, pp. 199-204.
15. [DH89] Dybvig, R K and R. Hieb Engines from continuations Computing Languages, 14(2), 1989, pp 109-123.
16. [DHM91] Duba, B., R. Harper, and D. MacQueen. Type-checking first-class continuations In Conference Record of the 18th Annual ACM Symposium on Principles of Programming Languages, January 1991, pp 163-173.
17. [Haa90] Haahr, D. Montage: breaking windows mto small pieces In USENIX Summer Conference, June 1990, pp. 289-297.
18. [Har86] Harper, R Introduction to standard ML Technical Report ECS-LFCS-86-14, Laboratory for Foundations of Computer Science, Computer Science Department, Edinburgh University, August 1986.
19. [HDB90] Hieb, R., R. K. Dybvig, and C. Bruggeman Representing control in the presence of first-class continuations In Proceedings of the SIGPLAN'90 Conference on Programming Language Design and Implementation, June 1990, pp 66-77
20. [HFW84] Haynes, C T., D. P. Friedman, and M. Wand. Continuations and coroutines. In Conference record of the 1984 ACM Conference on Lisp and Functional Programming, July 1984, pp 293-298.
21. [Hol83] Holmstrom, S. PFL: a functional language for parallel programming. In Declarative programming workshop, April 1983, pp. 114-139.
22. [KKR+86] Kranz, D, R. Kelsey, J. Rees, P. Hudak, J. Philbin, and N. Adams Orbit, an optimizing compiler for scheme In Proceedings of the SIGPLAN'86 Symposium on Compiler Construction, July 1986, pp 219-233
23. [LCJS87] Liskov, B, D. Curtis, P. Johnson, and R. Schemer. Implementation of argus In Proceedings of the 11 th ACM Symposium on Operating System Principles, November 1987, pp. 111-122
24. [Lie86] Lieberman, H Using prototypical objects to implement shared behavior in object oriented systems. In OPSLA'86 Proceedings, September 1986, pp 214-223
25. [LS88] Liskov, B and L. Shrira Promises linguistic support for efficient asynchronous procedure calls in distributed systems. In Proceedings of the SIGPLAN'88 Conference on Programming Language Design and Implementation, June 1988, pp. 260-267.
26. [Mac84] MacQueen, D. B. Modules for standard ML. In Conference record of the 1984 ACM Conference on Lisp and Functional Programming, July 1984, pp 198-207
27. [Mat89] Matthews, D C J. Processes for Poly and ML. In Papers on Poly/ML, Technical Report 161. University of Cambridge, February 1989
28. [MTH90] Milner, R, M. Tofte, and R. Harper. The definition of standard ML. The MIT Press, Cambridge, Mass, 1990
29. [Nye90] Nye, A Xlib programming manual, volume 1. O'Reilly & Associates, Inc, 1990
30. [Pik89] Pike, R. A concurrent window system. Computing Systems, 2(2), 1989, pp. 133-153.
31. [Ram90] Ramsey, N Concurrent programming in ML Technical Report CS-TR-262-90, Department of Computer Science, Princeton University, April 1990
32. [Rep88] Reppy, J. H Synchronous operations as first-class values. In Proceedings of the SIGPLAN'88 Conference on Programming Language Design and Implementation, June 1988, pp. 250-259.
33. [Rep89] Reppy, J. H. First-class synchronous operations m standard ML Technical Report TR 89-1068, Computer Science Department, Cornell University, December 1989.
34. [Rep90a] Reppy, J. H. Asynchronous signals m standard ML. Technical Report TR 90-1144, Computer Science Department, Cornell University, August 1990.
35. [Rep90b] Reppy, J H. Concurrent programming with events - The concurrent ML manual. Computer Science Department, Cornell University, Ithaca, NY 14853, November 1990
36. [Rep91a] Reppy, J H. Two garbage collectors for SML/NJ Cornell University technical report, in preparation, 1991
37. [Rep91b] Reppy, J. H. Higher-order concurrency. PhD thesis, Computer Science Department, Cornell University, Ithaca, NY, 1991 forthcoming.
38. [RG86] Reppy, J. H. and E. R. Gansner. A foundation for programming environments. In Proceedings of the ACM SIG-SOFT/SIGPLAN Software Engineering Symposium on Practical Softivare Development Environments, December 1986, pp. 218-227.
39. [SG86] Scheifler, R. W. and J. Gettys. The X window system ACM Transactions on Graphics, 5(2), April 1986, pp. 79-109
40. [Sha87] Shaw, R A Improving garbage collection performance in virtual memory Technical Report CSL-TR-87-523, Computer Systems Laboratory, Stanford University, 1987.
41. [Ste78] Steele Jr., G. L. Rabbit: a compiler for scheme. Master's thesis, MIT, May 1978.
42. [Wan80] Wand, M. Continuation-based multiprocessing In Conference Record of the 1980 Lisp Conference, August 1980, pp 19-28.