Concurrent Programming in ML

DOI10.1017/CBO9780511574962MaRDI QIDQ4856173zbMATH OpenOpenAlexFDO

Authors John Reppy

Publication date 23 November 1995

Full work available at URL https://doi.org/10.1017/cbo9780511574962

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10)

Recommendations

• scientific article; zbMATH DE number 108539
• scientific article; zbMATH DE number 108540
• scientific article; zbMATH DE number 42962
• Parallel concurrent ML
• Concurrent Programming

Cited in

(19)

• Safe-for-space threads in standard ML
• Defining actions in concurrent declarative programming
• Parallel concurrent ML
• A concurrent ML library in concurrent Haskell
• Context-free session type inference
• Steps in Scala. An introduction to object-functional programming
• Static trace-based deadlock analysis for synchronous Mini-Go
• Introduction to concurrency in programming languages.
• MULTILISP: a language for concurrent symbolic computation
• scientific article; zbMATH DE number 576277 (Why is no real title available?)
• An extended account of contract monitoring strategies as patterns of communication
• scientific article; zbMATH DE number 2111806 (Why is no real title available?)
• Constraints for polymorphic behaviours of concurrent ML
• Erlang programming.
• A simple library implementation of binary sessions
• scientific article; zbMATH DE number 958048 (Why is no real title available?)
• Borda-optimal taxation of labour income
• Integrating user-level threads with processes in scsh
• Backwards type analysis of asynchronous method calls

This page was built for publication: Concurrent Programming in ML

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4856173)