|
Search the dblp DataBase
Rok Strnisa:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Peter Sewell, Francesco Zappa Nardelli, Scott Owens, Gilles Peskine, Tom Ridge, Susmit Sarkar, Rok Strnisa
Ott: effective tool support for the working semanticist. [Citation Graph (0, 0)][DBLP] ICFP, 2007, pp:1-12 [Conf]
- Rok Strnisa, Peter Sewell, Matthew Parkinson
The java module system: core design and semantic definition. [Citation Graph (0, 0)][DBLP] OOPSLA, 2007, pp:499-514 [Conf]
- John Billings, Peter Sewell, Mark R. Shinwell, Rok Strnisa
Type-safe distributed programming for OCaml. [Citation Graph (0, 0)][DBLP] ML, 2006, pp:20-31 [Conf]
Thorn: robust, concurrent, extensible scripting on the JVM. [Citation Graph (, )][DBLP]
Thorn: robust concurrent scripting on the JVM. [Citation Graph (, )][DBLP]
Search in 0.001secs, Finished in 0.002secs
|