Modelling deterministic concurrent I/O

DOI10.1145/1159803.1159823zbMath1321.68150OpenAlexW2094248892MaRDI QIDQ5501463

Malcolm Dowse, Andrew Butterfield

Publication date: 3 August 2015

Published in: Proceedings of the eleventh ACM SIGPLAN international conference on Functional programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/1159803.1159823

zbMATH Keywords

effectsdeterminismconcurrencymonadsI/O

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Uses Software

• Haskell

This page was built for publication: Modelling deterministic concurrent I/O