Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 227,766,424 papers from all fields of science
Search
Sign In
Create Free Account
Concurrent ML
Concurrent ML (CML) is a concurrent extension of the Standard ML programming language.
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
10 relations
Concurrency (computer science)
Concurrent computing
Denotational semantics
Futures and promises
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2008
2008
Transactional events for ML
Laura Effinger-Dean
,
M. Kehrt
,
D. Grossman
ACM SIGPLAN International Conference on…
2008
Corpus ID: 15495200
Transactional events (TE) are an approach to concurrent programming that enriches the first-class synchronous message-passing of…
Expand
2008
2008
Experience report: erlang in acoustic ray tracing
Christian Convey
,
A. Fredricks
,
Chris Gagner
,
D. Maxwell
,
L. Hamel
ACM SIGPLAN International Conference on…
2008
Corpus ID: 15750475
We investigated the relative merits of C++ and Erlang in the implementation of a parallel acoustic ray tracing algorithm for the…
Expand
2006
2006
Concurrent ML as a Discrete Event Simulation Language
2006
Corpus ID: 15056542
Two common approaches to discrete event simulation, event scheduling(ES) andprocess interaction (PI) share a fundamental reliance…
Expand
2003
2003
Prototyping Application Models in Concurrent ML
D. J. Johnston
,
M. Fleury
,
A. Downton
European Conference on Parallel Processing
2003
Corpus ID: 21062121
We report on the design of parallel applications using harnesses, which are abstractions of concurrent paradigms. A split/combine…
Expand
1999
1999
A Modular SOS for ML Concurrency Primitives
Peter D. Mosses
1999
Corpus ID: 5732831
Modularity is an important pragmatic aspect of semantic descriptions. In denotational semantics, the issue of modularity has…
Expand
1999
1999
Semantics for core Concurrent ML using computation types
A. Jeffrey
1999
Corpus ID: 61373066
This paper presents two typed higher-order concurrent functional programming languages, based on Reppy’s Concurrent ML. The first…
Expand
1997
1997
An implementation of the FTAG model in concurrent ML
Masatoshi Suzuki
,
T. Katayama
,
R. Schlichting
Proceedings Pacific Rim International Symposium…
1997
Corpus ID: 61447404
Non-imperative programming models can simplify the development of fault-tolerant software, in part because of their potential for…
Expand
1997
1997
The UniForM Concurrency Toolkit and its Extensions to Concurrent Haskell
Einar W. Karlsen
1997
Corpus ID: 58809750
The UniForM Concurrency Toolkit is a comprehensive library of abstract data types for shared memory and message passing…
Expand
1994
1994
Supporting Coarse and Fine Grain Parallelism in an Extension of ML
Peter R. Bailey
,
M. Newey
,
D. Sitsky
,
R. Stanton
Conference on Algorithms and Hardware for…
1994
Corpus ID: 5717477
We have built an extension of Standard ML aimed at multicomputer platforms with distributed memories. The resulting language…
Expand
1993
1993
Implementing ML on distributed memory multiprocessors
Peter R. Bailey
,
M. Newey
SIGP
1993
Corpus ID: 11384067
The advent of distributed memory multicomputers, such as the Fujitsu AP1000, enables the implementation of parallel programming…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE