A calculus of coroutines
From MaRDI portal
Publication:817847
Recommendations
- Automata, Languages and Programming
- A calculus for concurrent objects
- scientific article; zbMATH DE number 4005586
- Analysing and Compiling Coroutines with Abstract Conjunctive Partial Deduction
- A concurrent pattern calculus
- Concurrent calculus (CC) and its properties
- A concurrent lambda calculus with futures
- Frontiers of Combining Systems
Cites work
- scientific article; zbMATH DE number 1722647 (Why is no real title available?)
- scientific article; zbMATH DE number 2185716 (Why is no real title available?)
- scientific article; zbMATH DE number 3367095 (Why is no real title available?)
- A categorical semantics of higher order store
- Computer Science Logic
- Full abstraction for PCF
- Games and full completeness for multiplicative linear logic
- Locally Boolean domains
- Locus solum: From the rules of logic to the logic of rules.
- On full abstraction for PCF: I, II and III
- Relational properties of domains
- The lambda calculus. Its syntax and semantics. Rev. ed.
- The regular-language semantics of second-order idealized ALGOL
Cited in
(8)- scientific article; zbMATH DE number 3876569 (Why is no real title available?)
- Analysis of vectors of coroutines by means of trees
- One-shot algebraic effects as coroutines
- A core calculus for correlation in orchestration languages
- Imperative programs as proofs via game semantics
- A core calculus for dynamic delta-oriented programming
- Automata, Languages and Programming
- Guarded and unguarded coroutines: An implementation in BCPL
This page was built for publication: A calculus of coroutines
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q817847)
