Adding Threads to Standard ML (1990)

Cached

Download Links

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

Documents Related by Co-Citation

1565 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990
93 Typing First-Class Continuations in ML – Robert Harper, Bruce F. Duba, David Macqueen - 1992
625 Compiling With Continuations – A W Appel - 1992
75 Continuation-Based Multiprocessing – Mitchell Wand - 1980
217 CML: A higher-order concurrent language – J Reppy - 1991
92 A Standard ML Compiler – Andrew W. Appel, David B. Macqueen - 1987
111 Continuation-passing, closure-passing style – Trevor Jim - 1989
195 ORBIT: An optimizing compiler for Scheme – David Kranz, Richard Kelsey, Jonathan Rees, Paul Hudak, James Philbin, Norman Adams - 1987
444 MULTILISP: a language for concurrent symbolic computation – Robert H. Halstead - 1985
453 Nested Transactions: An Approach to Reliable Distributed Computing – J. Eliot B. Moss - 1981
225 Guardians and actions: Linguistic support for robust, distributed programs – B Liskov, R Scheifler - 1983
538 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
31 Asynchronous Signals in Standard ML – John H. Reppy - 1990
1095 Actors: A model of concurrent computation in distributed systems – G Agha - 1986
110 Type inference for polymorphic references – M Tofte - 1990
195 Standard ML of New Jersey – Andrew W. Appel, David B. Macqueen - 1991
22 First-class synchronous operations in Standard ML – J H Reppy - 1989
49 Polymorphic Type Inference and Assignment – Xavier Leroy, Pierre Weis, Inria Rocquencourt - 1991
50 Debugging Standard ML Without Reverse Engineering – Andrew Tolmach - 1990