| * | 2009 |
|---|
| 5 | EE | Bard Bloom,
John Field,
Nathaniel Nystrom,
Johan Östlund,
Gregor Richards,
Rok Strnisa,
Jan Vitek,
Tobias Wrigstad:
Thorn: robust, concurrent, extensible scripting on the JVM.
OOPSLA 2009: 117-136 |
| 4 | EE | Bard Bloom,
John Field,
Nathaniel Nystrom,
Johan Östlund,
Gregor Richards,
Rok Strnisa,
Jan Vitek,
Tobias Wrigstad:
Thorn: robust concurrent scripting on the JVM.
OOPSLA Companion 2009: 789-790 |
| 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 |
