Login / Signup
Malcolm Dowse
Publication Activity (10 Years)
Years Active: 2002-2006
Publications (10 Years): 0
</>
Publications
</>
Malcolm Dowse
,
Andrew Butterfield
Modelling deterministic concurrent I/O.
ICFP
(2006)
Malcolm Dowse
,
Andrew Butterfield
,
Marko C. J. D. van Eekelen
Reasoning About Deterministic Concurrent Functional I/O.
IFL
(2004)
Malcolm Dowse
,
Glenn Strong
,
Andrew Butterfield
Proving Make Correct: I/O Proofs in Haskell and Clean.
IFL
(2002)