Rok Strnisa
University of Cambridge, UK
http://www.cl.cam.ac.uk/~rs456/
Rok Strnisa
Matthew J. Parkinson
Lightweight Java.
2011
2011
Formal proof development
Arch. Formal Proofs
https://www.isa-afp.org/entries/LightweightJava.shtml
db/journals/afp/afp2011.html#StrnisaP11
Rok Strnisa
Formalising, improving, and reusing the Java module system.
2010
University of Cambridge, UK
https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.608886
British Library, EThOS
Peter Sewell
Francesco Zappa Nardelli
Scott Owens
Gilles Peskine
Thomas Ridge
Susmit Sarkar
Rok Strnisa
Ott: Effective tool support for the working semanticist.
71-122
2010
20
J. Funct. Program.
1
https://doi.org/10.1017/S0956796809990293
db/journals/jfp/jfp20.html#SewellNOPRSS10
Bard Bloom
John Field
Nathaniel Nystrom
Johan Östlund
Gregor Richards
Rok Strnisa
Jan Vitek
Tobias Wrigstad
Thorn: robust, concurrent, extensible scripting on the JVM.
117-136
2009
OOPSLA
https://doi.org/10.1145/1640089.1640098
https://doi.org/10.1145/1639949.1640098
conf/oopsla/2009
db/conf/oopsla/oopsla2009.html#BloomFNORSVW09
Bard Bloom
John Field
Nathaniel Nystrom
Johan Östlund
Gregor Richards
Rok Strnisa
Jan Vitek
Tobias Wrigstad
Thorn: robust concurrent scripting on the JVM.
789-790
2009
OOPSLA Companion
https://doi.org/10.1145/1639950.1640016
conf/oopsla/2009c
db/conf/oopsla/oopsla2009c.html#BloomFNORSVW09a
Peter Sewell
Francesco Zappa Nardelli
Scott Owens
Gilles Peskine
Tom Ridge
Susmit Sarkar
Rok Strnisa
Ott: effective tool support for the working semanticist.
1-12
2007
conf/icfp/2007
ICFP
https://doi.org/10.1145/1291151.1291155
https://doi.org/10.1145/1291220.1291155
db/conf/icfp/icfp2007.html#SewellNOPRSS07
Rok Strnisa
Peter Sewell
Matthew J. Parkinson
The java module system: core design and semantic definition.
499-514
2007
conf/oopsla/2007
OOPSLA
https://doi.org/10.1145/1297027.1297064
https://doi.org/10.1145/1297105.1297064
db/conf/oopsla/oopsla2007.html#StrniaaSP07
John Billings
Peter Sewell
Mark R. Shinwell
Rok Strnisa
Type-safe distributed programming for OCaml.
20-31
2006
conf/ml/2006
ML
https://doi.org/10.1145/1159876.1159881
db/conf/ml/ml2006.html#BillingsSSS06
John Billings
Bard Bloom
John Field
Francesco Zappa Nardelli
Nathaniel Nystrom
Johan Östlund
Scott Owens
Matthew J. Parkinson
Gilles Peskine
Gregor Richards
Tom RidgeThomas Ridge
Susmit Sarkar
Peter Sewell
Mark R. Shinwell
Jan Vitek
Tobias Wrigstad