Transactional events for ML

DOI10.1145/1411204.1411222MaRDI QIDQ5178759zbMATH OpenOpenAlexFDO

Authors Laura Effinger-Dean, M. Kehrt, Dan Grossman

Publication date 16 March 2015

Published in Proceedings of the 13th ACM SIGPLAN international conference on Functional programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/1411204.1411222

zbMATH Keywords

concurrencysynchronous message passingtransactional events

Mathematics Subject Classification ID

Theory of programming languages (68N15) Functional programming and lambda calculus (68N18) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Semantics in the theory of computing (68Q55)

Recommendations

• Transactional events
• Transactional events
• scientific article; zbMATH DE number 1438576
• Event-triggered learning
• Transaction logic with external actions

Cited in

(6)

• Fairness for transactional events
• Transactional events
• Lightweight checkpointing for concurrent ML
• Events in Haskell, and how to implement them
• Transactional events
• Send to me first: Priority in synchronous message-passing

Describes a project that uses

Uses Software

• Coq
• OCaml

This page was built for publication: Transactional events for ML

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