A concurrent ML library in concurrent Haskell

Proceedings of the ACM SIGPLAN International Conference on Functional Programming, ICFP

Volumn , Issue , 2009, Pages 269-280

  Chaudhuri, Avik ^a  

^a UNIVERSITY OF MARYLAND   (United States)

Author keywords

calculus; Concurrent Haskell; Concurrent ml; Distributed synchronization protocol; Synchronization abstractions

Indexed keywords

CONCURRENT HASKELL; CONCURRENT LANGUAGES; CONCURRENT PROGRAMMING; DISTRIBUTED SYNCHRONIZATION PROTOCOLS; FIRST-ORDER; HIGHER ORDER; STANDARD LIBRARIES;

ABSTRACTING; CALCULATIONS; CONCURRENCY CONTROL; FUNCTIONAL PROGRAMMING; LINGUISTICS; MESSAGE PASSING; MODEL CHECKING; QUERY LANGUAGES;

SYNCHRONIZATION;

EID: 70450159562     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1596550.1596589     Document Type: Conference Paper

References (23)

1. R. Bagrodia. A distributed algorithm to implement the generalized alternative command of CSP. In ICDCS'86: International Conference on Distributed Computing Systems, pages 422-427. IEEE, 1986.
2. R. Bornat. A protocol for generalized Occam. Software Practice and Experience, 16(9):783-799, 1986. ISSN 0038-0644.
3. G. N. Buckley and A. Silberschatz. An effective implementation for the generalized input-output construct of CSP. ACM Transactions on Programming Languages and Systems, 5(2):223-235, 1983. ISSN 0164-0925.
4. A. Chaudhuri. A Concurrent ML library in Concurrent Haskell, 2009. Links to proofs and experiments at http://www.cs.umd.edu/~avik/projects/cmllch/.
5. Avik Chaudhuri and Benjamin Franksen. Hackagedb cml package, 2009. Available at http://hackage.Haskell.org/cgi-bin/hackage-scripts/package/cml.
6. E. D. Demaine. Protocols for non-deterministic communication over synchronous channels. In IPPS/SPDP'98: Symposium on Parallel and Distributed Processing, pages 24-30. IEEE, 1998.
7. K. Donnelly and M. Fluet. Transactional events. In ICFP'06: International Conference on Functional Programming, pages 124-135. ACM, 2006.
8. L. Effinger-Dean, M. Kehrt, and D. Grossman. Transactional events for ML. In ICFP'08: International Conference on Functional Programming, pages 103-114. ACM, 2008.
9. M. Flatt and R. B. Findler. Kill-safe synchronization abstractions. In PLDI'04: Programming Language Design and Implementation, pages 47-58. ACM, 2004. ISBN 1-58113-807-5.
10. A. D. Gordon. Functional programming and Input/Output. Cambridge University, 1994. ISBN 0-521-47103-6.
11. C. A. R. Hoare. Communicating sequential processes. Communications of the ACM, 21(8):666-677, 1978.
12. F. Knabe. A distributed protocol for channel-based communication with choice. In PARLE'92: Parallel Architectures and Languages, Europe, pages 947-948. Springer, 1992. ISBN 3-540- 55599-4.
13. X. Leroy, D. Doligez, J. Garrigue, D. Rémy, and J. Vouillon. The Objective Caml system documentation: Event module, 2008. Available at http://caml.inria.fr/pub/docs/manual-ocaml/libref/Event.html.
14. R. Milner, J. Parrow, and D. Walker. A calculus of mobile processes, parts I and II. Information and Computation, 100(1): 1-77, 1992.
15. S. L. Peyton-Jones and P. Wadler. Imperative functional programming. In POPL'93: Principles of Programming Languages, pages 71-84. ACM, 1993.
16. S. L. Peyton-Jones, A. D. Gordon, and S. Finne. Concurrent Haskell. In POPL'96: Principles of Programming Languages, pages 295-308. ACM, 1996.
17. J. H. Reppy. Concurrent programming in ML. Cambridge University, 1999. ISBN 0-521-48089-2.
18. J. H. Reppy. Higher-order concurrency. PhD thesis, Cornell University, 1992. Technical Report 92-1852.
19. J. H. Reppy. First-class synchronous operations. In TPPP'94: Theory and Practice of Parallel Programming. Springer, 1994.
20. J. H. Reppy and Y. Xiao. Towards a parallel implementation of Concurrent ML. In DAMP'08: Declarative Aspects of Multicore Programming. ACM, 2008.
21. G. Russell. Events in Haskell, and how to implement them. In ICFP'01: International Conference on Functional Programming, pages 157-168. ACM, 2001. ISBN 1-58113-415-0. (Pubitemid 33006743)
22. D. Sangiorgi. From pi-calculus to higher-order pi-calculus, and back. In TAPSOFT'93: Theory and Practice of Software Development, pages 151-166. Springer, 1993.
23. Wikipedia. Sieve of Eratosthenes, 2009. See http://en.wikipedia.org/wiki/ Sieve-of-Eratosthenes.