| |
| 2008 | ||
|---|---|---|
| 2 | EE | Wendy Verbruggen, Edsko de Vries, Arthur Hughes: Polytypic programming in COQ. ICFP-WGP 2008: 49-60 |
| 2006 | ||
| 1 | EE | Malcolm Tyrrell, Joseph M. Morris, Andrew Butterfield, Arthur Hughes: A Lattice-Theoretic Model for an Algebra of Communicating Sequential Processes. ICTAC 2006: 123-137 |
| 1 | Andrew Butterfield | [1] |
| 2 | Joseph M. Morris | [1] |
| 3 | Malcolm Tyrrell | [1] |
| 4 | Wendy Verbruggen | [2] |
| 5 | Edsko de Vries | [2] |