The Essence of Multitasking

DOI10.1007/11784180_14zbMATH Open1236.68038OpenAlexW1844522640MaRDI QIDQ3623932FDOQ3623932

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

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

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)

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
• Title not available (Why is that?)
• 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)

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)