Concurrent ML

Concurrent ML (CML) is a concurrent extension of the Standard ML programming language.

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.

2018

There has been much recent interest in exploring higher-level concurrency control abstractions such as software transactional…

2014

MULTIMLTON is an extension of the MLton compiler and runtime system that targets scalable, multicore architectures. It provides…

2008

Various concurrency primitives have been added to sequential programming languages, in order to turn them concurrent. Prominent…

2006

Two common approaches to discrete event simulation, event scheduling(ES) andprocess interaction (PI) share a fundamental reliance…

2005

Up through the mid-1990s, Gansner and Reppy designed and implemented eXene—a multi-threaded, higher-order user-interface toolkit…

1999

This paper presents two typed higher-order concurrent functional programming languages, based on Reppy’s Concurrent ML. The first…

1999

Modularity is an important pragmatic aspect of semantic descriptions. In denota-tional semantics, the issue of modularity has…

1995

1994

1992

The advent of distributed memory multicomputers, such as the Fujitsu AP1000, enables the implementation of parallel programming…