1 @Misc{Bornat-lecture, |
1 @Misc{Bornat-lecture, |
2 author = {R.~Bornat}, |
2 author = {R.~Bornat}, |
3 title = {In {D}efence of {P}rogramming}, |
3 title = {In {D}efence of {P}rogramming}, |
4 howpublished = {Available online via |
|
5 \url{http://www.cs.mdx.ac.uk/staffpages/r_bornat/lectures/ revisedinauguraltext.pdf}}, |
|
6 month = {April}, |
4 month = {April}, |
7 year = 2005, |
5 year = 2005, |
8 note = {Corrected and revised version of inaugural lecture, |
6 note = {Corrected and revised version of inaugural lecture, |
9 delivered on 22nd January 2004 at the School of |
7 delivered on 22nd January 2004 at the School of |
10 Computing Science, Middlesex University} |
8 Computing Science, Middlesex University} |
11 } |
9 } |
12 @Misc{wenzel-technology, |
10 @manual{wenzel-technology, |
13 author = {M.~Wenzel}, |
11 author = {M.~Wenzel}, |
14 title = {Further Scaling of Isabelle Technology}, |
12 title = {{F}urther {S}caling of {I}sabelle {T}echnology}, |
15 howpublished = {http://sketis.net}, |
13 note = {\url{http://sketis.net}}, |
16 month = {April}, |
14 month = {April}, |
17 year = {2018}, |
15 year = {2018} |
18 note = {}, |
|
19 } |
16 } |
20 |
17 |
21 @Book{isa-tutorial, |
18 @Book{isa-tutorial, |
22 author = {T.~Nipkow and L.~C.~Paulson and M.~Wenzel}, |
19 author = {T.~Nipkow and L.~C.~Paulson and M.~Wenzel}, |
23 title = {Isabelle/HOL: A Proof Assistant for Higher-Order Logic}, |
20 title = {Isabelle/HOL: A Proof Assistant for Higher-Order Logic}, |
24 publisher = {Springer}, |
21 publisher = {Springer}, |
25 year = 2002, |
22 year = 2002, |
26 note = {LNCS Tutorial 2283}} |
23 note = {LNCS Tutorial 2283} |
|
24 } |
27 |
25 |
28 @book{paulson-ml2, |
26 @book{paulson-ml2, |
29 author = {Lawrence C. Paulson}, |
27 author = {Lawrence C. Paulson}, |
30 title = {{ML} for the Working Programmer}, |
28 title = {{ML} for the Working Programmer}, |
31 year = 1996, |
29 year = 1996, |
32 edition = {2nd}, |
30 edition = {2nd}, |
33 publisher = {Cambridge University Press}} |
31 publisher = {Cambridge University Press} |
|
32 } |
34 |
33 |
35 @manual{isa-imp, |
34 @manual{isa-imp, |
36 author = {M.~Wenzel}, |
35 author = {M.~Wenzel}, |
37 title = {The {Isabelle/Isar} Implementation}, |
36 title = {The {Isabelle/Isar} Implementation}, |
38 institution = {Technische Universit\"at M\"unchen}, |
37 institution = {Technische Universit\"at M\"unchen}, |
39 note = {\url{http://isabelle.in.tum.de/doc/implementation.pdf}}} |
38 note = {\url{http://isabelle.in.tum.de/doc/implementation.pdf}} |
|
39 } |
40 |
40 |
41 |
41 |
42 @book{GordonMilnerWadsworth79, |
42 @book{GordonMilnerWadsworth79, |
43 author = {M.~Gordon and R.~Milner and C.~P.~Wadsworth}, |
43 author = {M.~Gordon and R.~Milner and C.~P.~Wadsworth}, |
44 title = {{E}dinburgh {LCF}}, |
44 title = {{E}dinburgh {LCF}}, |