Eekelen. Reasoning About Deterministic Concurrent Functional I/O (0)

by M Dowse, A Butterfield, M van
Venue:Proceedings Implementation and Application of Functional Languages, 16th International Workshop, IFL’04, volume 3474 of LNCS