Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 225,693,491 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
2005
2005
TOWARD OPTIMIZATION OF CONCURRENT ML
Yingqi Xiao
2005
Corpus ID: 14908037
Concurrent ML (CML) is a statically-typed higher-order concurrent language that is embedded in Standard ML. Its most notable…
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
Review
1997
Review
1997
ML with Concurrency
F. Nielson
Monographs in Computer Science
1997
Corpus ID: 37551056
From the Publisher: Standard ML is emerging as one of the most widely used functional programming languages. Equally, concurrent…
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
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