add sections about the original mTask

[msc-thesis1617.git] / thesis.bib

diff --git a/thesis.bib b/thesis.bib
index 1deb14b..db81fc6 100644 (file)
--- a/thesis.bib
+++ b/thesis.bib
@@ -9,7 +9,7 @@
        file = {chp%3A10.1007%2F978-3-319-15940-9_5.pdf:/home/mrl/.mozilla/firefox/7b4r727h.default-1470981082057/zotero/storage/ZSDSIIT7/chp%3A10.1007%2F978-3-319-15940-9_5.pdf:application/pdf}
 }
 
-@incollection{serrano_shallow_2016,
+@incollection{plasmeijer_shallow_2016,
        address = {Cham},
        series = {Lecture {Notes} in {Computer} {Science}},
        title = {A {Shallow} {Embedded} {Type} {Safe} {Extendable} {DSL} for the {Arduino}},
@@ -19,7 +19,7 @@
        urldate = {2017-02-22},
        booktitle = {Trends in {Functional} {Programming}},
        publisher = {Springer International Publishing},
-       editor = {Serrano, Manuel and Hage, Jurriaan},
+       author = {Plasmeijer, Rinus and Koopman, Pieter},
        year = {2016},
        note = {DOI: 10.1007/978-3-319-39110-6},
        file = {chp%3A10.1007%2F978-3-319-39110-6_6.pdf:/home/mrl/.mozilla/firefox/7b4r727h.default-1470981082057/zotero/storage/TJVP6FHF/chp%3A10.1007%2F978-3-319-39110-6_6.pdf:application/pdf}
@@ -81,4 +81,69 @@
        author = {Oortgiese, Arjan},
        year = {2017},
        file = {arjan_oortgiese.pdf:/home/mrl/.mozilla/firefox/7b4r727h.default-1470981082057/zotero/storage/J4WXQXU4/arjan_oortgiese.pdf:application/pdf}
+}
+
+@incollection{havelund_practical_2015,
+       address = {Cham},
+       series = {Lecture {Notes} in {Computer} {Science}},
+       title = {Practical {Formal} {Verification} of {Domain}-{Specific} {Language} {Applications}},
+       volume = {9058},
+       isbn = {978-3-319-17523-2 978-3-319-17524-9},
+       url = {http://link.springer.com/10.1007/978-3-319-17524-9},
+       urldate = {2017-05-10},
+       booktitle = {{NASA} {Formal} {Methods}},
+       publisher = {Springer International Publishing},
+       editor = {Havelund, Klaus and Holzmann, Gerard and Joshi, Rajeev},
+       year = {2015},
+       note = {DOI: 10.1007/978-3-319-17524-9},
+       file = {mart_paper.pdf:/home/mrl/.mozilla/firefox/7b4r727h.default-1470981082057/zotero/storage/5SXR59GR/mart_paper.pdf:application/pdf}
+}
+
+@inproceedings{pike_programming_2014,
+       title = {Programming languages for high-assurance autonomous vehicles: extended abstract},
+       isbn = {978-1-4503-2567-7},
+       shorttitle = {Programming languages for high-assurance autonomous vehicles},
+       url = {http://dl.acm.org/citation.cfm?doid=2541568.2541570},
+       doi = {10.1145/2541568.2541570},
+       language = {en},
+       urldate = {2017-05-10},
+       publisher = {ACM Press},
+       author = {Pike, Lee and Hickey, Patrick and Bielman, James and Elliott, Trevor and DuBuisson, Thomas and Launchbury, John},
+       year = {2014},
+       pages = {1--2},
+       file = {pike-plpv14.pdf:/home/mrl/.mozilla/firefox/7b4r727h.default-1470981082057/zotero/storage/MTUSHBNF/pike-plpv14.pdf:application/pdf}
+}
+
+@inproceedings{svenningsson_combining_2012,
+       title = {Combining deep and shallow embedding for {EDSL}},
+       url = {http://link.springer.com/chapter/10.1007/978-3-642-40447-4_2},
+       urldate = {2017-05-10},
+       booktitle = {International {Symposium} on {Trends} in {Functional} {Programming}},
+       publisher = {Springer},
+       author = {Svenningsson, Josef and Axelsson, Emil},
+       year = {2012},
+       pages = {21--36},
+       file = {svenningsson2013combining.pdf:/home/mrl/.mozilla/firefox/7b4r727h.default-1470981082057/zotero/storage/NFBGZCZT/svenningsson2013combining.pdf:application/pdf}
+}
+
+@techreport{cheney_first-class_2003,
+       title = {First-class phantom types},
+       url = {https://ecommons.cornell.edu/handle/1813/5614},
+       urldate = {2017-05-15},
+       institution = {Cornell University},
+       author = {Cheney, James and Hinze, Ralf},
+       year = {2003},
+       file = {https\://ecommons.cornell.edu/bitstream/handle/1813/5614/?sequence=1:/home/mrl/.mozilla/firefox/7b4r727h.default-1470981082057/zotero/storage/R5IFMHTP/5614.pdf:application/pdf}
+}
+
+@inproceedings{cheney_lightweight_2002,
+       title = {A lightweight implementation of generics and dynamics},
+       url = {http://dl.acm.org/citation.cfm?id=581698},
+       urldate = {2017-05-15},
+       booktitle = {Proceedings of the 2002 {ACM} {SIGPLAN} workshop on {Haskell}},
+       publisher = {ACM},
+       author = {Cheney, James and Hinze, Ralf},
+       year = {2002},
+       pages = {90--104},
+       file = {HW02.pdf:/home/mrl/.mozilla/firefox/7b4r727h.default-1470981082057/zotero/storage/A8Z49NK6/HW02.pdf:application/pdf}
 }
\ No newline at end of file