| |
| 2007 | ||
|---|---|---|
| 3 | EE | Peter Sewell, Francesco Zappa Nardelli, Scott Owens, Gilles Peskine, Tom Ridge, Susmit Sarkar, Rok Strnisa: Ott: effective tool support for the working semanticist. ICFP 2007: 1-12 |
| 2 | EE | Rok Strnisa, Peter Sewell, Matthew J. Parkinson: The java module system: core design and semantic definition. OOPSLA 2007: 499-514 |
| 2006 | ||
| 1 | EE | John Billings, Peter Sewell, Mark R. Shinwell, Rok Strnisa: Type-safe distributed programming for OCaml. ML 2006: 20-31 |
| 1 | John Billings | [1] |
| 2 | Francesco Zappa Nardelli | [3] |
| 3 | Scott Owens | [3] |
| 4 | Matthew J. Parkinson | [2] |
| 5 | Gilles Peskine | [3] |
| 6 | Tom Ridge (Thomas Ridge) | [3] |
| 7 | Susmit Sarkar | [3] |
| 8 | Peter Sewell | [1] [2] [3] |
| 9 | Mark R. Shinwell | [1] |