Malcolm Dowse

	2006
3		Malcolm Dowse, Andrew Butterfield: Modelling deterministic concurrent I/O. ICFP 2006: 148-159
	2004
2		Malcolm Dowse, Andrew Butterfield, Marko C. J. D. van Eekelen: Reasoning About Deterministic Concurrent Functional I/O. IFL 2004: 177-194
	2002
1		Malcolm Dowse, Glenn Strong, Andrew Butterfield: Proving Make Correct: I/O Proofs in Haskell and Clean. IFL 2002: 68-83

Coauthor Index

1	Andrew Butterfield	[1] [2] [3]
2	Marko C. J. D. van Eekelen	[2]
3	Glenn Strong	[1]