Composable scheduler activations for Haskell

DOI10.1017/S0956796816000071MaRDI QIDQ5371964zbMATH OpenFDO

Authors K. C. Sivaramakrishnan, Tim Harris, Simon Marlow, Simon Peyton-Jones

Publication date 23 October 2017

Published in Journal of Functional Programming (Search for Journal in Brave)

Mathematics Subject Classification ID

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

Recommendations

• A formal, resource consumption-preserving translation from actors with cooperative scheduling to Haskell
• Traces, Executions and Schedulers, Coalgebraically
• Programming Languages and Systems
• A meta-scheduler for the par-monad, composable scheduling for the heterogeneous cloud
• A formal, resource consumption-preserving translation of actors to Haskell

Cites work

• A principled approach to operating system construction in Haskell
• Concurrent Programming in ML
• Implicitly threaded parallelism in Manticore
• Parallel concurrent ML

Cited in

(2)

• Modelling parallel quantum computing using transactional memory
• A meta-scheduler for the par-monad, composable scheduling for the heterogeneous cloud

Describes a project that uses

Uses Software

• Haskell
• GHC
• Oracle
• Async
• HaLVM
• MultiMLton
• Lwt
• GitHub

This page was built for publication: Composable scheduler activations for Haskell

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