Travelled to:1 × Germany
1 × Spain
1 × USA
Collaborated with:A.Butterfield M.C.J.D.v.Eekelen G.Strong
Talks about:determinist (2) concurr (2) function (1) correct (1) reason (1) haskel (1) prove (1) proof (1) model (1) clean (1)
Person: Malcolm Dowse
DBLP: Dowse:Malcolm
Contributed to:
2006
20042002Wrote 3 papers:
- ICFP-2006-DowseB #concurrent #modelling
- Modelling deterministic concurrent I/O (MD, AB), pp. 148–159.
- IFL-2004-DowseBE #concurrent #functional #reasoning
- Reasoning About Deterministic Concurrent Functional I/O (MD, AB, MCJDvE), pp. 177–194.
- IFL-2002-DowseSB #haskell #proving
- Proving Make Correct: I/O Proofs in Haskell and Clean (MD, GS, AB), pp. 68–83.