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

Active Bibliography

9 Toward a parallel implementation of Concurrent ML – Yingqi Xiao
Workshop on Declarative Aspects of Multicore Programming – Manuel Hermenegildo, Leaf Petersen, Neal Glew - 2008
Status Report: The Manicore Project – Matthew Fluet, Nic Ford, Mike Rainey, John reppy, Adam Shaw, Yingqi Xiao - 2007
Event Synchronization by Lightweight Message Passing – Avik Chaudhuri - 805
5 A Concurrent ML Library in Concurrent Haskell – Avik Chaudhuri
Effective Scheduling Techniques for . . . – Michael Alan Rainey - 2010
5 Effective Scheduling Techniques for High-Level . . . – Michael Alan Rainey - 2010
TABLE OF CONTENTS LIST OF TABLES................................. LIST OF FIGURES................................ – Lukasz S. Ziarek - 2011
7 First-class Synchronous Operations – John H. Reppy - 1995
5 Programmable Concurrency in a Pure and Lazy Language – Peng Li, Steve Zdancewic, Rajeev Alur - 2008
13 Space Profiling for Parallel Functional Programs – Daniel Spoonhower, Guy E. Blelloch, Robert Harper, Phillip B. Gibbons
BY – Michael Rainey
13 A scheduling framework for general-purpose parallel languages – Matthew Fluet, Mike Rainey
2 Higher-Order Concurrency in PVM – Erik D. Demaine - 1997
18 Implicitly-threaded parallelism in Manticore – Matthew Fluet, Mike Rainey, John Reppy, Adam Shaw - 2008
1 Combinators for Message-Passing in Haskell – Neil C. C. Brown
33 Concurrent ML: Design, Application and Semantics – John H. Reppy - 1993
Stabilizers: A Safe Lightweight Checkpointing Abstraction for Concurrent Programs – Lukasz Ziarek , Philip Schatz, Suresh Jagannathan - 2005
9 Stabilizers: a modular checkpointing abstraction for concurrent functional programs – Lukasz Ziarek, Philip Schatz, Suresh Jagannathan - 2006