Reasoning About Deterministic Concurrent Functional I/O

Implementation and Application of Functional Languages - Lecture Notes in Computer Science ◽

10.1007/11431664_11 ◽

2005 ◽

pp. 177-194 ◽

Cited By ~ 4

Author(s):

Malcolm Dowse ◽

Andrew Butterfield ◽

Marko van Eekelen

Download Full-text