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