Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Rok Strnisa

> Home > Persons

Person information

affiliation: University of Cambridge, UK

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Books and Theses

see FAQ

What is the meaning of the colors in the publication lists?

2010
[b1]
- view
  - electronic edition @ bl.uk
  - no references & citations available
- export record
  dblp key:
  - phd/ethos/Strnisa10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/phd/ethos/Strnisa10
Rok Strnisa:
Formalising, improving, and reusing the Java module system. University of Cambridge, UK, 2010

Journal Articles

see FAQ

What is the meaning of the colors in the publication lists?

2011
[j2]
- view
  - electronic edition @ isa-afp.org (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/afp/StrnisaP11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/afp/StrnisaP11
Rok Strnisa, Matthew J. Parkinson:
Lightweight Java. Arch. Formal Proofs 2011 (2011)
2010
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/jfp/SewellNOPRSS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jfp/SewellNOPRSS10
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)

Conference and Workshop Papers

see FAQ

What is the meaning of the colors in the publication lists?

2009
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/oopsla/BloomFNORSVW09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/oopsla/BloomFNORSVW09
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]
- view
  authority control:
- export record
  dblp key:
  - conf/oopsla/BloomFNORSVW09a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/oopsla/BloomFNORSVW09a
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]
- view
  authority control:
- export record
  dblp key:
  - conf/icfp/SewellNOPRSS07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfp/SewellNOPRSS07
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]
- view
  authority control:
- export record
  dblp key:
  - conf/oopsla/StrniaaSP07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/oopsla/StrniaaSP07
Rok Strnisa, Peter Sewell, Matthew J. Parkinson:
The java module system: core design and semantic definition. OOPSLA 2007: 499-514
2006
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/ml/BillingsSSS06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ml/BillingsSSS06
John Billings, Peter Sewell, Mark R. Shinwell, Rok Strnisa:
Type-safe distributed programming for OCaml. ML 2006: 20-31

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.