Reasoning About Deterministic Concurrent Functional I/O

DOI10.1007/11431664_11zbMath1119.68331OpenAlexW1591044060MaRDI QIDQ5423552

Andrew Butterfield, Malcolm Dowse, Marko van Eekelen

Publication date: 23 October 2007

Published in: Implementation and Application of Functional Languages (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11431664_11

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Related Items (1)

Proving Properties of Lazy Functional Programs with Sparkle

Uses Software

• Sparkle

This page was built for publication: Reasoning About Deterministic Concurrent Functional I/O