The Essence of Concurrent ML (1997)

by Claudio V. Russo , Yingqi Xiao
Venue:In ML with Concurrency: Design, Analysis, Implementation, and Application
Citations:43 - 1 self

Documents Related by Co-Citation

384 Composable memory transactions – Tim Harris, Mark Plesko, Avraham Shinnar, David Tarditi - 2005
201 Concurrent Haskell – Simon Peyton Jones, Andrew Gordon, Sigbjorn Finne - 1996
15 Subset synchronization in BSP computing – G Hains - 1998
62 Structured development of parallel programs – Susanna Pelagatti - 1999
418 Algorithmic Skeletons: Structured Management of Parallel Computation – M Cole - 1989
1126 A bridging model for parallel computation – Leslie G Valiant - 1990
405 Language Support for Lightweight Transactions – Tim Harris, Keir Fraser - 2003
6 Shaped-based Cost Analysis of Skeletal Parallel Programs – Y Hayashi - 2001
25 Caml Flight: a Portable SPMD Extension of ML for Distributed Memory Multiprocessors – Christian Foisy, Emmanuel Chailloux - 1995
24 A Calculus of – F Loulergue, G Hains, C Foisy - 2000
16 Skeletons and BSP: Performance Portability for Parallel Programming”, PH.D. Thesis, Dipartimento di Informatica Dottorato di Ricerca – Andrea Zavanella - 1999
21 A Fully Abstract Semantics for a Concurrent Functional Language With Monadic Types – Alan Jeffrey - 1995
516 Software Transactional Memory – Nir Shavit, Dan Touitou - 1995
146 Parallel Programming Using Skeleton Functions – J. Darlington, A.J. Field, P.G. Harrison, P.H.J. Kelly, D. W. N. Sharp, Q. Wu, R.L. While - 1993
30 on a sharedmemory multiprocessor – Haskell - 2005
3407 Communicating Sequential Processes – C. A. R. Hoare - 2004
65 Location-Independent Communication for Mobile Agents: a Two-Level Architecture – Peter Sewell, Pawel T. Wojciechowski, Benjamin C. Pierce - 1998
81 A semantics for ML concurrency primitives – Dave Berry, Robin Milner, David N. Turner - 1992
15 Processing Transactions On Grip, A Parallel Graph Reducer – G. Akerholt, K. Hammond, S. Peyton Jones, Jones, P. Trinder - 1993