Adding Threads to Standard ML (1990)

Cached

Download Links

by Eric C. Cooper , J. Gregory Morrisett
Citations:61 - 4 self

Active Bibliography

19 Debuggable Concurrency Extensions for Standard ML – Andrew Tolmach - 1991
14 A Survey of Multiprocessor Operating System Kernels – Bodhisattwa Mukherjee, Karsten Schwan, Prabha Gopinath - 1993
22 The Fox Project: Advanced Development of Systems Software – Eric Cooper, Robert Harper, Peter Lee - 1991
33 Concurrent ML: Design, Application and Semantics – John H. Reppy - 1993
26 A Distributed Protocol for Channel-Based Communication with Choice – Frederick Knabe - 1993
15 Concurrent programming in ML – Norman Ramsey - 1990
30 Asynchronous Signals in Standard ML – John H. Reppy - 1990
109 Paradigms for process interaction in distributed programs – Gregory R. Andrews - 1991
1 Thread Optimizations in Concurrent Object Oriented Languages – Jing Wang, Jing Wang - 1998
A Portable Multiprocessor Interface – Andrew Tolmach
5 A Portable Multiprocessor Interface for Standard ML of New Jersey – J. Gregory Morrisett, Andrew Tolmach - 1992
11 Procs and Locks: A Portable Multiprocessing Platform for Standard ML of New Jersey – J. Gregory Morrisett, Andrew Tolmach - 2000
Realizing Concurrent Functional . . . – Eric Larsen McCorkle - 2008
Representing Control in Parallel Applicative Programming – Chi Yao - 1994
81 Robust Composition: Towards a Unified Approach to Access Control and Concurrency Control – Mark Samuel Miller - 2006
Communicating Sequential Processes – Hoare's Communicating Sequential
Implementing Concurrency For An ML-based Operating System – Olin Shivers, Albert C. Lin, Albert C. Lin
106 Using Continuations to Implement Thread Management and Communication in Operating Systems – Richard Draves, Brian N. Bershad, Richard F. Rashid, All W. Dean - 1991
435 Scheduler Activations: Effective Kernel Support for the User-Level Management of Parallelism – Thomas E. Anderson, Brian N. Bershad, Edward D. Lazowska, Henry M. Levy - 1992