Rok Strnisa

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C

Ask others: ACM DL/Guide -

	2011
j2		Rok Strnisa, Matthew J. Parkinson: Lightweight Java. Archive of Formal Proofs 2011 (2011)
	2010
j1		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)
	2009
c5		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
c4		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
c3		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
c2		Rok Strnisa, Peter Sewell, Matthew J. Parkinson: The java module system: core design and semantic definition. OOPSLA 2007: 499-514
	2006
c1		John Billings, Peter Sewell, Mark R. Shinwell, Rok Strnisa: Type-safe distributed programming for OCaml. ML 2006: 20-31

Coauthor Index

Last update Tue May 21 04:30:01 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page