1.1 --- a/doc-src/isac/CTP-userinterfaces.bib Tue Jan 11 08:03:23 2011 +0100
1.2 +++ b/doc-src/isac/CTP-userinterfaces.bib Tue Jan 11 12:34:29 2011 +0100
1.3 @@ -1,3 +1,42 @@
1.4 +@TechReport{,
1.5 + author = {Odersky, Martin, et.al.},
1.6 + title = {An Overview of the Scala Programming Language},
1.7 + institution = {\'Ecole Polytechnique F\'ed\'erale de Lausanne (EPFL)},
1.8 + year = {},
1.9 + type = {Technical Report LAMP-REPORT-2006-001},
1.10 + address = {1015 Lausanne, Switzerland},
1.11 + note = {Second Edition},
1.12 + annote = {http://www.scala-lang.org/sites/default/files/linuxsoft_archives/docu/files/ScalaOverview.pdf}
1.13 +}
1.14 +
1.15 +@article{Haller:2009:SAU:1496391.1496422,
1.16 + author = {Haller, Philipp and Odersky, Martin},
1.17 + title = {Scala Actors: Unifying thread-based and event-based programming},
1.18 + journal = {Theor. Comput. Sci.},
1.19 + volume = {410},
1.20 + issue = {2-3},
1.21 + month = {February},
1.22 + year = {2009},
1.23 + issn = {0304-3975},
1.24 + pages = {202--220},
1.25 + numpages = {19},
1.26 + url = {http://portal.acm.org/citation.cfm?id=1496391.1496422},
1.27 + doi = {10.1016/j.tcs.2008.09.019},
1.28 + acmid = {1496422},
1.29 + publisher = {Elsevier Science Publishers Ltd.},
1.30 + address = {Essex, UK},
1.31 + keywords = {Actors, Concurrent programming, Events, Threads},
1.32 +}
1.33 +
1.34 +@InProceedings{scala:jmlc06,
1.35 + author = {Philipp Haller and Martin Odersky},
1.36 + title = {Event-Based Programming without Inversion of Control},
1.37 + booktitle = {Proc. Joint Modular Languages Conference},
1.38 + year = 2006,
1.39 + series = {Springer LNCS}
1.40 +}
1.41 +
1.42 +
1.43 @InProceedings{makarius:isa-scala-jedit,
1.44 author = {Makarius Wenzel},
1.45 title = {Asyncronous Proof Processing with {Isabelle/Scala} and {Isabelle/jEdit}},