- CSB - MetaPress - Google - Bing - Yahoo
 | 2010 | |
|---|---|---|
| j2 |      | Peter Sewell, Francesco Zappa Nardelli, Scott Owens, Gilles Peskine, Thomas Ridge, Susmit Sarkar, Rok Strnisa: Ott: Effective tool support for the working semanticist. J. Funct. Program. 20(1): 71-122 (2010) |
| 2007 | ||
| c2 | | 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 | ||
| j1 | | James J. Leifer, Gilles Peskine, Peter Sewell, Keith Wansbrough: Global abstraction-safe marshalling with hash types. SIGPLAN Notices 38(9): 87-98 (2003) |
| c1 | | James J. Leifer, Gilles Peskine, Peter Sewell, Keith Wansbrough: Global abstraction-safe marshalling with hash types. ICFP 2003: 87-98 |
| 1 | James J. Leifer | |
| 2 | Francesco Zappa Nardelli | |
| 3 | Scott Owens | |
| 4 | Tom Ridge (Thomas Ridge) | |
| 5 | Susmit Sarkar | |
| 6 | Peter Sewell | |
| 7 | Rok Strnisa | |
| 8 | Keith Wansbrough |
Data released under the ODC-BY 1.0 license — See also our legal information page