The Essence of Multitasking

DOI10.1007/11784180_14zbMath1236.68038OpenAlexW1844522640MaRDI QIDQ3623932

William L. Harrison

Publication date: 28 April 2009

Published in: Algebraic Methodology and Software Technology (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11784180_14

Mathematics Subject Classification ID

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

Related Items (4)

The coinductive resumption monad ⋮ A coinductive calculus for asynchronous side-effecting processes ⋮ Effect polymorphism in higher-order logic (proof pearl) ⋮ A Coinductive Calculus for Asynchronous Side-Effecting Processes

Uses Software

• Haskell

This page was built for publication: The Essence of Multitasking