|
1 @inproceedings{Aspinall:2007:FIP:1420412.1420429, |
|
2 author = {Aspinall, David and L\"{u}th, Christoph and Winterstein, Daniel}, |
|
3 title = {A Framework for Interactive Proof}, |
|
4 booktitle = {Proceedings of the 14th symposium on Towards Mechanized Mathematical Assistants: 6th International Conference}, |
|
5 series = {Calculemus '07 / MKM '07}, |
|
6 year = {2007}, |
|
7 isbn = {978-3-540-73083-5}, |
|
8 location = {Hagenberg, Austria}, |
|
9 pages = {161--175}, |
|
10 numpages = {15}, |
|
11 url = {http://dx.doi.org/10.1007/978-3-540-73086-6_15}, |
|
12 doi = {http://dx.doi.org/10.1007/978-3-540-73086-6_15}, |
|
13 acmid = {1420429}, |
|
14 publisher = {Springer-Verlag}, |
|
15 address = {Berlin, Heidelberg}, |
|
16 } |
|
17 |
1 @Book{armstrong:erlang96, |
18 @Book{armstrong:erlang96, |
2 author = {Armstrong, Joe, et.al.}, |
19 author = {Armstrong, Joe and others}, |
3 title = {Concurrent Programming in Erlang}, |
20 title = {Concurrent Programming in Erlang}, |
4 publisher = {Prentice Hall}, |
21 publisher = {Prentice Hall}, |
5 year = {1996} |
22 year = {1996} |
6 } |
23 } |
7 |
24 |
8 @TechReport{odersky:scala06, |
25 @TechReport{odersky:scala06, |
9 author = {Odersky, Martin, et.al.}, |
26 author = {Odersky, Martin and others}, |
10 title = {An Overview of the Scala Programming Language}, |
27 title = {An Overview of the Scala Programming Language}, |
11 institution = {\'Ecole Polytechnique F\'ed\'erale de Lausanne (EPFL)}, |
28 institution = {\'Ecole Polytechnique F\'ed\'erale de Lausanne (EPFL)}, |
12 year = {2006}, |
29 year = {2006}, |
13 type = {Technical Report LAMP-REPORT-2006-001}, |
30 type = {Technical Report LAMP-REPORT-2006-001}, |
14 address = {1015 Lausanne, Switzerland}, |
31 address = {1015 Lausanne, Switzerland}, |