Malcolm Dowse

According to our database, Malcolm Dowse authored at least 4 papers between 2002 and 2006.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2006

A Semantic framework for deterministic functional input/output

Malcolm Dowse

PhD thesis, 2006

Modelling deterministic concurrent I/O.

Malcolm Dowse, Andrew Butterfield

Proceedings of the 11th ACM SIGPLAN International Conference on Functional Programming, 2006

2004

Reasoning About Deterministic Concurrent Functional I/O.

Malcolm Dowse, Andrew Butterfield, Marko C. J. D. van Eekelen

Proceedings of the Implementation and Application of Functional Languages, 2004

2002

Proving Make Correct: I/O Proofs in Haskell and Clean.

Malcolm Dowse, Glenn Strong, Andrew Butterfield

Proceedings of the Implementation of Functional Languages, 14th International Workshop, 2002