BibTeX records: Rok Strnisa

• > Home > Persons > Rok Strnisa

@article{DBLP:journals/afp/StrnisaP11,
  author       = {Rok Strnisa and
                  Matthew J. Parkinson},
  title        = {Lightweight Java},
  journal      = {Arch. Formal Proofs},
  volume       = {2011},
  year         = {2011},
  url          = {https://www.isa-afp.org/entries/LightweightJava.shtml},
  timestamp    = {Mon, 25 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/afp/StrnisaP11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@phdthesis{DBLP:phd/ethos/Strnisa10,
  author       = {Rok Strnisa},
  title        = {Formalising, improving, and reusing the Java module system},
  school       = {University of Cambridge, {UK}},
  year         = {2010},
  url          = {https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.608886},
  timestamp    = {Tue, 05 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/phd/ethos/Strnisa10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfp/SewellNOPRSS10,
  author       = {Peter Sewell and
                  Francesco Zappa Nardelli and
                  Scott Owens and
                  Gilles Peskine and
                  Thomas Ridge and
                  Susmit Sarkar and
                  Rok Strnisa},
  title        = {Ott: Effective tool support for the working semanticist},
  journal      = {J. Funct. Program.},
  volume       = {20},
  number       = {1},
  pages        = {71--122},
  year         = {2010},
  url          = {https://doi.org/10.1017/S0956796809990293},
  doi          = {10.1017/S0956796809990293},
  timestamp    = {Sat, 16 Sep 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/SewellNOPRSS10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/oopsla/BloomFNORSVW09,
  author       = {Bard Bloom and
                  John Field and
                  Nathaniel Nystrom and
                  Johan {\"{O}}stlund and
                  Gregor Richards and
                  Rok Strnisa and
                  Jan Vitek and
                  Tobias Wrigstad},
  editor       = {Shail Arora and
                  Gary T. Leavens},
  title        = {Thorn: robust, concurrent, extensible scripting on the {JVM}},
  booktitle    = {Proceedings of the 24th Annual {ACM} {SIGPLAN} Conference on Object-Oriented
                  Programming, Systems, Languages, and Applications, {OOPSLA} 2009,
                  October 25-29, 2009, Orlando, Florida, {USA}},
  pages        = {117--136},
  publisher    = {{ACM}},
  year         = {2009},
  url          = {https://doi.org/10.1145/1640089.1640098},
  doi          = {10.1145/1640089.1640098},
  timestamp    = {Fri, 25 Jun 2021 14:48:54 +0200},
  biburl       = {https://dblp.org/rec/conf/oopsla/BloomFNORSVW09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/oopsla/BloomFNORSVW09a,
  author       = {Bard Bloom and
                  John Field and
                  Nathaniel Nystrom and
                  Johan {\"{O}}stlund and
                  Gregor Richards and
                  Rok Strnisa and
                  Jan Vitek and
                  Tobias Wrigstad},
  editor       = {Shail Arora and
                  Gary T. Leavens},
  title        = {Thorn: robust concurrent scripting on the {JVM}},
  booktitle    = {Companion to the 24th Annual {ACM} {SIGPLAN} Conference on Object-Oriented
                  Programming, Systems, Languages, and Applications, {OOPSLA} 2009,
                  October 25-29, 2009, Orlando, Florida, {USA}},
  pages        = {789--790},
  publisher    = {{ACM}},
  year         = {2009},
  url          = {https://doi.org/10.1145/1639950.1640016},
  doi          = {10.1145/1639950.1640016},
  timestamp    = {Mon, 12 Jul 2021 15:34:15 +0200},
  biburl       = {https://dblp.org/rec/conf/oopsla/BloomFNORSVW09a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icfp/SewellNOPRSS07,
  author       = {Peter Sewell and
                  Francesco Zappa Nardelli and
                  Scott Owens and
                  Gilles Peskine and
                  Tom Ridge and
                  Susmit Sarkar and
                  Rok Strnisa},
  editor       = {Ralf Hinze and
                  Norman Ramsey},
  title        = {Ott: effective tool support for the working semanticist},
  booktitle    = {Proceedings of the 12th {ACM} {SIGPLAN} International Conference on
                  Functional Programming, {ICFP} 2007, Freiburg, Germany, October 1-3,
                  2007},
  pages        = {1--12},
  publisher    = {{ACM}},
  year         = {2007},
  url          = {https://doi.org/10.1145/1291151.1291155},
  doi          = {10.1145/1291151.1291155},
  timestamp    = {Fri, 25 Jun 2021 14:48:54 +0200},
  biburl       = {https://dblp.org/rec/conf/icfp/SewellNOPRSS07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/oopsla/StrniaaSP07,
  author       = {Rok Strnisa and
                  Peter Sewell and
                  Matthew J. Parkinson},
  editor       = {Richard P. Gabriel and
                  David F. Bacon and
                  Cristina Videira Lopes and
                  Guy L. Steele Jr.},
  title        = {The java module system: core design and semantic definition},
  booktitle    = {Proceedings of the 22nd Annual {ACM} {SIGPLAN} Conference on Object-Oriented
                  Programming, Systems, Languages, and Applications, {OOPSLA} 2007,
                  October 21-25, 2007, Montreal, Quebec, Canada},
  pages        = {499--514},
  publisher    = {{ACM}},
  year         = {2007},
  url          = {https://doi.org/10.1145/1297027.1297064},
  doi          = {10.1145/1297027.1297064},
  timestamp    = {Fri, 25 Jun 2021 14:48:54 +0200},
  biburl       = {https://dblp.org/rec/conf/oopsla/StrniaaSP07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ml/BillingsSSS06,
  author       = {John Billings and
                  Peter Sewell and
                  Mark R. Shinwell and
                  Rok Strnisa},
  editor       = {Andrew Kennedy and
                  Fran{\c{c}}ois Pottier},
  title        = {Type-safe distributed programming for OCaml},
  booktitle    = {Proceedings of the {ACM} Workshop on ML, 2006, Portland, Oregon, USA,
                  September 16, 2006},
  pages        = {20--31},
  publisher    = {{ACM}},
  year         = {2006},
  url          = {https://doi.org/10.1145/1159876.1159881},
  doi          = {10.1145/1159876.1159881},
  timestamp    = {Mon, 12 Jul 2021 15:34:15 +0200},
  biburl       = {https://dblp.org/rec/conf/ml/BillingsSSS06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}