The Essence of Multitasking

DOI10.1007/11784180_14zbMATH Open1236.68038OpenAlexW1844522640MaRDI QIDQ3623932FDOQ3623932

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 (8)

• A coinductive calculus for asynchronous side-effecting processes
• A poor man's concurrency monad
• The coinductive resumption monad
• Title not available (Why is that?)
• Front-office multitasking between service encounters and back-office tasks
• Specialist vs. generalist: efficiency in multitasking
• 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

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