The Essence of Multitasking

DOI10.1007/11784180_14MaRDI QIDQ3623932zbMATH OpenOpenAlexFDO

Authors 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

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

Recommendations

• A poor man's concurrency monad
• Imperative streams—a monadic combinator library for synchronous programming
• The coinductive resumption monad
• A principled approach to operating system construction in Haskell
• Publication:4493234

Cited in

(10)

• A coinductive calculus for asynchronous side-effecting processes
• Compiling cooperative task management to continuations
• A poor man's concurrency monad
• The coinductive resumption monad
• scientific article; zbMATH DE number 1484290 (Why is no real title available?)
• A coinductive calculus for asynchronous side-effecting processes
• Front-office multitasking between service encounters and back-office tasks
• A principled approach to operating system construction in Haskell
• Specialist vs. generalist: efficiency in multitasking
• Effect polymorphism in higher-order logic (proof pearl)

Describes a project that uses

Uses Software

• Haskell

This page was built for publication: The Essence of Multitasking

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