- 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.Google Scholar
- AEL88 Appel, A. W., J R. Ellis, and K. Li. Real-brae concurrent collection on stock multiprocessors In Proceedings of the SIGPLAN'88 Conference on Programming Language Design and Implementation, June 1988, pp. 11-20. Google ScholarDigital Library
- Agh86 Agha, G. Actors: a Model of Concurrent Computation ill Distributed Systems. The MiT Press, Cambridge, Mass., 1986. Google ScholarDigital Library
- 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. Google ScholarDigital Library
- 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. Google ScholarDigital Library
- App89 Appel, A. W. Simple generational garbage collection and fast allocation. Software - Practice and Experience, 19(2), February 1989, pp 275-279 Google ScholarDigital Library
- AS83 Andrews, G. R. and E B. Schneider. Concepts and notations for concurrent programming. ACM Computing Surveys, 15(1), March 1983, pp. 3-43. Google ScholarDigital Library
- 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.Google Scholar
- Bor86 Bornat, R. A protocol for generahzed occam. Software - Practice atzd Experience, 16(9), September 1986, pp. 783- 799. Google ScholarDigital Library
- 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-963Google ScholarCross Ref
- Bur88 Burns, A. Programming in occam 2. Addison-Wesley, Reading, Mass., 1988. Google ScholarDigital Library
- Car86 Cardelh, L. Amber In Combinators and Functional Programming Languages, volume 272 of Lecture Notes in Computer Sciel~ce. Sprmger-Verlag, July 1986, pp. 21-47. Google ScholarDigital Library
- 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.Google Scholar
- CP85 Cardelh, L. and R. Pike. Squeak a language for commumcatlng with mice. In SIGGRAPH '85, July 1985, pp. 199-204. Google ScholarDigital Library
- DH89 Dybvlg, R K and R Hieb Engines from continuations Computing Languages, 14(2), 1989, pp 109-123. Google ScholarDigital Library
- DHM91 Duba, B., R. Harper, and D. MacQueen. Type-checking first-class continuations In Conference Record of the 18th Annual ACM Symposium on Prh~ciptes of Programming Languages, January 1991, pp 163-173. Google ScholarDigital Library
- Haa90 Haahr, D. Montage: breaking windows into small pieces In USENIX Summer Conference, June 1990, pp. 289-297.Google Scholar
- 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.Google Scholar
- HDB90 Hleb, R., R. K. Dybvlg, and C Bruggeman Representing control m the presence of first-class continuations In Proceedings of the $IGPLAN'90 Conference on Programming Language Design and Implementation, June 1990, pp 66-77 Google ScholarDigital Library
- HFW84 Haynes, C T., D. E 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. Google ScholarDigital Library
- Hol83 Holmstrom, S. PFL: a functional Ianguage for parallel programming. In Declarative programming workshop, April 1983, pp. 114-139.Google Scholar
- 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 Cot~struction, July 1986, pp 219-233 Google ScholarDigital Library
- LCJS87 Liskov, B, D Curtis, P Johnson, and R. ScheLtler. Implementation of argus In Proceedings of the 11th ACM Symposium on Operating System Principles, November 1987, pp. 11t-122 Google ScholarDigital Library
- Lie86 Lieberman, H Using prototyplcal objects to nnplement shared behavior m object oriented systems. In OPSLA'86 Proceedings, September 1986, pp 214-223 Google ScholarDigital Library
- LS88 Llskov, B and L Shrira Promises linguistic support for efficient asynchronous procedure caUs in distributed systems. In Proceedings of the SIGPLAN'88 Conference on Programming Language Design and Implementation, June t988, pp. 260-267. Google ScholarDigital Library
- Mac84 MacQueen, D. B. Modules for standard ML. In Conference record of the 1984 ACM Conference on Lisp and Functional Programmit~g, July 1984, pp 198-207 Google ScholarDigital Library
- Mat89 Matthews, D C J'Pr~cessesf~rP~lyandML'InPapers~n Poly/ML, Technical Report 161. University of Cambridge, February 1989Google Scholar
- MTH90 Mfiner, R, M Tofte, and R Harper. The definition of standard ML. The MIT Press, Cambridge, Mass, 1990 Google ScholarDigital Library
- Nye90 Nye, A Xtib programming manual, volume 1. O'Reilly & Associates, Inc, 1990 Google ScholarDigital Library
- Pik89 Pike, R. A concurrent window system. Computing Systems, 2(2), 1989, pp. 133-153.Google Scholar
- Ram90 Ramsey, N Concurrent programming in ML Technical Report CS-TR-262-90, Department of Computer Science, Princeton Univers2y, April 1990Google Scholar
- Rep88 Reppy, J. H Synchronous operations as first-class values. In Proceedings of the SIGPLAN'88 Conference on Programming Language Design and Implementation, June t988, pp. 250-259. Google ScholarDigital Library
- Rep89 Reppy, J. H. F~rst-class synchronous operations m standard ML Technical Report TR 89-1068, Computer Science Department, Cornell University, December 1989. Google ScholarDigital Library
- Rep90a Reppy, J. H. Asynchronous signals m standard ML. Technical Report TR 90-1144, Computer Science Department, Cornell University, August 1990. Google ScholarDigital Library
- Rep90b Reppy, J H. Concurrent programming with events - The concurrent ML manual. Computer Science Department, Cornell Umverslty, Ithaca, NY 14853, November 1990Google Scholar
- Rep91a Reppy, J H. Two garbage collectors for SML/NJ Cornell University techincal report, in preparation, 1991Google Scholar
- Rep91b Reppy, J. H. Higher-order concurrency. PhD thesrs, Computer Science Department, Cornell University, Ithaca, NY, 1991 forthcoming. Google ScholarDigital Library
- RG86 Reppy, J. H. and E. R. Gansner. A foundation for prog-ramming envzronments. In Proceedings of the ACM S{G- SOFT/SIGPLAN Software Engineerzng Symposium on Practical Software Development Environments, December 1986, pp. 218-227. Google ScholarDigital Library
- SG86 Scherfler, R. W. and J. Gettys. TheX window system ACM Transactions on Graphics, 5(2), April 1986, pp. 79-109 Google ScholarDigital Library
- Sha87 Shaw, R A Improving garbage collection performance in virtualmemory Technical Report CSL-TR-87-323 , Computer Systems Laboratory, Stanford University, 1987.Google Scholar
- Ste78 Steele Jr., G. L. Rabbit: a compiler for scheme. Master's thesis, MIT, May 1978.Google Scholar
- Wan80 Wand, M. Continuation-based multiprocessing In Conference Record of the 1980 Lisp Conference, August 1980, pp 19-28. Google ScholarDigital Library
Index Terms
- CML: A higher concurrent language
Recommendations
CML: A Meta‐Interpreter for Manufacturing
A new computer language for manufacturing is being used to link complex systems of equipment whose components are supplied by multiple vendors. The Cell Management Language (CML) combines computational tools from rule‐based data systems, object‐oriented ...
Specialization of CML message-passing primitives
Proceedings of the 2007 POPL ConferenceConcurrent ML (CML) is a statically-typed higher-order concurrent language that is embedded in Standard ML. Its most notable feature is its support for first-class synchronous operations. This mechanism allows programmers to encapsulate complicated ...
Specialization of CML message-passing primitives
POPL '07: Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languagesConcurrent ML (CML) is a statically-typed higher-order concurrent language that is embedded in Standard ML. Its most notable feature is its support for first-class synchronous operations. This mechanism allows programmers to encapsulate complicated ...
Comments