2 author = {Armstrong, Joe, et.al.},
3 title = {Concurrent Programming in Erlang},
4 publisher = {Prentice Hall},
9 @TechReport{odersky:scala06,
10 author = {Odersky, Martin, et.al.},
11 title = {An Overview of the Scala Programming Language},
12 institution = {\'Ecole Polytechnique F\'ed\'erale de Lausanne (EPFL)},
14 type = {Technical Report LAMP-REPORT-2006-001},
15 address = {1015 Lausanne, Switzerland},
16 note = {Second Edition},
17 annote = {http://www.scala-lang.org/sites/default/files/linuxsoft_archives/docu/files/ScalaOverview.pdf}
20 @article{Haller:2009:SAU:1496391.1496422,
21 author = {Haller, Philipp and Odersky, Martin},
22 title = {Scala Actors: Unifying thread-based and event-based programming},
23 journal = {Theor. Comput. Sci.},
31 url = {http://portal.acm.org/citation.cfm?id=1496391.1496422},
32 doi = {10.1016/j.tcs.2008.09.019},
34 publisher = {Elsevier Science Publishers Ltd.},
35 address = {Essex, UK},
36 keywords = {Actors, Concurrent programming, Events, Threads},
39 @InProceedings{scala:jmlc06,
40 author = {Philipp Haller and Martin Odersky},
41 title = {Event-Based Programming without Inversion of Control},
42 booktitle = {Proc. Joint Modular Languages Conference},
44 series = {Springer LNCS}
48 @InProceedings{makarius:isa-scala-jedit,
49 author = {Makarius Wenzel},
50 title = {Asyncronous Proof Processing with {Isabelle/Scala} and {Isabelle/jEdit}},
51 booktitle = {User Interfaces for Theorem Provers (UITP 2010)},
53 editor = {C. Sacerdoti Coen and D. Aspinall},
54 address = {Edinburgh, Scotland},
56 organization = {FLOC 2010 Satellite Workshop},
57 note = {http://www4.in.tum.de/~wenzelm/papers/async-isabelle-scala.pdf}
61 author = {Bj{\o}rner, Dines},
62 title = {Domain Engineering. Technology Management, Research and Engineering},
63 publisher = {JAIST Press},
66 series = {COE Research Monograph Series},
68 address = {Nomi, Japan}
71 @inproceedings{Haftmann-Nipkow:2010:code,
72 author = {Florian Haftmann and Tobias Nipkow},
73 title = {Code Generation via Higher-Order Rewrite Systems},
74 booktitle = {Functional and Logic Programming, 10th International
75 Symposium: {FLOPS} 2010},
77 publisher = {Springer},
78 series = {Lecture Notes in Computer Science},
83 title = {The Coq Proof Assistant},
84 author = {Barras, B. and others},
85 organization = {INRIA-Rocquencourt - CNRS-ENS Lyon},
88 pnote={},status={cited},source={mkm01.caprotti},location={}
92 author = {Gordon,M. and Milner,R. and Wadsworth,C. P.},
93 title = {Edinburgh LCF: A Mechanised Logic of Computation},
94 publisher = { Springer-Verlag},
97 series = {Lecture Notes in Computer Science}
101 title={Isabelle: a generic theorem prover},
102 author={Paulson, Lawrence C. }, publisher={Springer-Verlag},year={1994},
103 volume={828},series={Lecture Notes in Computer Science},address={},edition={},month={},
104 note={With contributions by Topias Nipkow},
105 status={},source={},location={-}
109 author = {Robin Milner and Mads Tofte and Robert Harper and David MacQueen},
110 title = {The Definition of Standard ML (Revised)},
111 publisher = {The MIT Press},
113 address = {Cambridge, London},
117 @Article{back-grundy-wright-98,
118 author = {Back, Ralph and Grundy, Jim and von Wright, Joakim},
119 title = {Structured Calculational Proof},
120 journal = {Formal Aspects of Computing},
127 title = {The {Isabelle/Isar} Implementation},
128 author = {Makarius Wenzel},
131 note = {With contributions by Florian Haftmann and Larry Paulson}
134 @InProceedings{wenzel:isar,
135 author = {Wenzel, Markus},
136 title = {Isar - a Generic Interpretative Approach to Readable Formal Proof Documents},
137 booktitle = {Theorem Proving in Higher Order Logics},
139 editor = {G. Dowek, A. Hirschowitz, C. Paulin, L. Thery},
140 series = {LNCS 1690},
141 organization = {12th International Conference TPHOLs'99},
142 publisher = {Springer}