Composable scheduler activations for Haskell

DOI10.1017/S0956796816000071zbMATH Open1420.68057MaRDI QIDQ5371964FDOQ5371964

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

Publication date: 23 October 2017

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

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

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)

Cites Work

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

Cited In (1)

• Modelling parallel quantum computing using transactional memory

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)