| |
| 2007 | ||
|---|---|---|
| 2 | EE | Peter Sewell, James J. Leifer, Keith Wansbrough, Francesco Zappa Nardelli, Mair Allen-Williams, Pierre Habouzit, Viktor Vafeiadis: Acute: High-level programming language design for distributed computation. J. Funct. Program. 17(4-5): 547-612 (2007) |
| 2005 | ||
| 1 | EE | Peter Sewell, James J. Leifer, Keith Wansbrough, Francesco Zappa Nardelli, Mair Allen-Williams, Pierre Habouzit, Viktor Vafeiadis: Acute: high-level programming language design for distributed computation. ICFP 2005: 15-26 |
| 1 | Mair Allen-Williams | [1] [2] |
| 2 | James J. Leifer | [1] [2] |
| 3 | Francesco Zappa Nardelli | [1] [2] |
| 4 | Peter Sewell | [1] [2] |
| 5 | Viktor Vafeiadis | [1] [2] |
| 6 | Keith Wansbrough | [1] [2] |