| |
| 2007 | ||
|---|---|---|
| 2 | 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 |
| 2003 | ||
| 1 | EE | James J. Leifer, Gilles Peskine, Peter Sewell, Keith Wansbrough: Global abstraction-safe marshalling with hash types. ICFP 2003: 87-98 |
| 1 | James J. Leifer | [1] |
| 2 | Francesco Zappa Nardelli | [2] |
| 3 | Scott Owens | [2] |
| 4 | Tom Ridge (Thomas Ridge) | [2] |
| 5 | Susmit Sarkar | [2] |
| 6 | Peter Sewell | [1] [2] |
| 7 | Rok Strnisa | [2] |
| 8 | Keith Wansbrough | [1] |