Transactional events

DOI10.1017/S0956796808006916zbMath1155.68356OpenAlexW2913965635MaRDI QIDQ3546046

Matthew T. Fluet, Kevin P. Donnelly

Publication date: 18 December 2008

Published in: Journal of Functional Programming (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Semantics in the theory of computing (68Q55)

Related Items

Send to me first: Priority in synchronous message-passing, Distinguishing between communicating transactions, Lightweight checkpointing for concurrent ML, Compensation by design

Uses Software

• Erlang

Cites Work

• Notions of computation and monads
• First-class synchronization barriers
• AtomCaml
• Backtracking, interleaving, and terminating monad transformers
• Deriving backtracking monad transformers
• Communicating sequential processes
• Events in Haskell, and how to implement them
• Transactional events