Malcolm Dowse

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2006
A Semantic framework for deterministic functional input/output
PhD thesis, 2006

Modelling deterministic concurrent I/O.
Proceedings of the 11th ACM SIGPLAN International Conference on Functional Programming, 2006

2004
Reasoning About Deterministic Concurrent Functional I/O.
Proceedings of the Implementation and Application of Functional Languages, 2004

2002
Proving Make Correct: I/O Proofs in Haskell and Clean.
Proceedings of the Implementation of Functional Languages, 14th International Workshop, 2002


  Loading...