BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Dowse:Malcolm

Contributed to:

ICFP 20062006
IFL 20042004
IFL 20022002

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.