X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=thesis.bib;h=db81fc605b56c2fb7d18292d0fb0302935ebbd2c;hb=96c38eaced38e4a3cb8df44ec54b778a1dc11b24;hp=c11c5971dad6f0e5533aa037cd1e757ea1142bfe;hpb=8c6f463e3da3f3a2469b44f17705d633c988fee6;p=msc-thesis1617.git diff --git a/thesis.bib b/thesis.bib index c11c597..db81fc6 100644 --- a/thesis.bib +++ b/thesis.bib @@ -1,25 +1,28 @@ -@article{da_xu_internet_2014, - title = {Internet of things in industries: a survey}, - volume = {10}, - number = {4}, - journal = {Industrial Informatics, IEEE Transactions on}, - author = {Da Xu, Li and He, Wu and Li, Shancang}, - year = {2014}, - pages = {2233--2243}, - file = {IOT industrial survey.pdf:/home/mrl/.mozilla/firefox/a614qfce.default/zotero/storage/EJHG7M8I/IOT industrial survey.pdf:application/pdf} +@incollection{achten_introduction_2015, + title = {An {Introduction} to {Task} {Oriented} {Programming}}, + booktitle = {Central {European} {Functional} {Programming} {School}}, + publisher = {Springer}, + author = {Achten, Peter and Koopman, Pieter and Plasmeijer, Rinus}, + year = {2015}, + pages = {187--245}, + 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} } -@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/a614qfce.default/zotero/storage/NFBGZCZT/svenningsson2013combining.pdf:application/pdf} +@incollection{plasmeijer_shallow_2016, + address = {Cham}, + series = {Lecture {Notes} in {Computer} {Science}}, + title = {A {Shallow} {Embedded} {Type} {Safe} {Extendable} {DSL} for the {Arduino}}, + volume = {9547}, + isbn = {978-3-319-39109-0 978-3-319-39110-6}, + url = {http://link.springer.com/10.1007/978-3-319-39110-6}, + urldate = {2017-02-22}, + booktitle = {Trends in {Functional} {Programming}}, + publisher = {Springer International Publishing}, + 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} } @article{koopman_type-safe_nodate, @@ -27,31 +30,30 @@ url = {https://tfp2016.org/papers/TFP_2016_paper_7.pdf}, urldate = {2017-02-22}, author = {Koopman, Pieter and Plasmeijer, Rinus}, - file = {TFP_2016_paper_7.pdf:/home/mrl/.mozilla/firefox/a614qfce.default/zotero/storage/WR3PZNTT/TFP_2016_paper_7.pdf:application/pdf} + file = {TFP_2016_paper_7.pdf:/home/mrl/.mozilla/firefox/7b4r727h.default-1470981082057/zotero/storage/WR3PZNTT/TFP_2016_paper_7.pdf:application/pdf} } -@phdthesis{oortgiese_distributed_2017, - address = {Nijmegen}, - type = {Master}, - title = {A {Distributed} {Server} {Architecture} for {Task} {Oriented} {Programming}}, - shorttitle = {A {Distributed} {Server} {Architecture} for {Task} {Oriented} {Programming}}, - url = {http://www.ru.nl/publish/pages/769526/arjan_oortgiese.pdf}, - language = {English}, - urldate = {2017-04-08}, - school = {Radboud University}, - author = {Oortgiese, Arjan}, - year = {2017}, - file = {arjan_oortgiese.pdf:/home/mrl/.mozilla/firefox/a614qfce.default/zotero/storage/J4WXQXU4/arjan_oortgiese.pdf:application/pdf} +@inproceedings{brus_cleanlanguage_1987, + title = {Clean—a language for functional graph rewriting}, + url = {http://link.springer.com/chapter/10.1007/3-540-18317-5_20}, + urldate = {2017-02-24}, + booktitle = {Conference on {Functional} {Programming} {Languages} and {Computer} {Architecture}}, + publisher = {Springer}, + author = {Brus, T. H. and van Eekelen, Marko CJD and Van Leer, M. O. and Plasmeijer, Marinus J.}, + year = {1987}, + pages = {364--384}, + file = {Clean —\; A language for functional graph rewriting - chp%3A10.1007%2F3-540-18317-5_20.pdf:/home/mrl/.mozilla/firefox/7b4r727h.default-1470981082057/zotero/storage/GCEPPRUJ/chp%3A10.1007%2F3-540-18317-5_20.pdf:application/pdf} } -@incollection{achten_introduction_2015, - title = {An {Introduction} to {Task} {Oriented} {Programming}}, - booktitle = {Central {European} {Functional} {Programming} {School}}, - publisher = {Springer}, - author = {Achten, Peter and Koopman, Pieter and Plasmeijer, Rinus}, - year = {2015}, - pages = {187--245}, - file = {chp%3A10.1007%2F978-3-319-15940-9_5.pdf:/home/mrl/.mozilla/firefox/a614qfce.default/zotero/storage/ZSDSIIT7/chp%3A10.1007%2F978-3-319-15940-9_5.pdf:application/pdf} +@article{da_xu_internet_2014, + title = {Internet of things in industries: a survey}, + volume = {10}, + number = {4}, + journal = {Industrial Informatics, IEEE Transactions on}, + author = {Da Xu, Li and He, Wu and Li, Shancang}, + year = {2014}, + pages = {2233--2243}, + file = {IOT industrial survey.pdf:/home/mrl/.mozilla/firefox/7b4r727h.default-1470981082057/zotero/storage/EJHG7M8I/IOT industrial survey.pdf:application/pdf} } @book{lijnse_top_2013, @@ -64,34 +66,21 @@ author = {Lijnse, Bas}, year = {2013}, note = {OCLC: 833851220}, - file = {103931.pdf:/home/mrl/.mozilla/firefox/a614qfce.default/zotero/storage/9KZ9I6N9/103931.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/a614qfce.default/zotero/storage/MTUSHBNF/pike-plpv14.pdf:application/pdf} + file = {103931.pdf:/home/mrl/.mozilla/firefox/7b4r727h.default-1470981082057/zotero/storage/9KZ9I6N9/103931.pdf:application/pdf} } -@inproceedings{brus_cleanlanguage_1987, - title = {Clean—a language for functional graph rewriting}, - url = {http://link.springer.com/chapter/10.1007/3-540-18317-5_20}, - urldate = {2017-02-24}, - booktitle = {Conference on {Functional} {Programming} {Languages} and {Computer} {Architecture}}, - publisher = {Springer}, - author = {Brus, T. H. and van Eekelen, Marko CJD and Van Leer, M. O. and Plasmeijer, Marinus J.}, - year = {1987}, - pages = {364--384}, - file = {Clean —\; A language for functional graph rewriting - chp%3A10.1007%2F3-540-18317-5_20.pdf:/home/mrl/.mozilla/firefox/a614qfce.default/zotero/storage/GCEPPRUJ/chp%3A10.1007%2F3-540-18317-5_20.pdf:application/pdf} +@phdthesis{oortgiese_distributed_2017, + address = {Nijmegen}, + type = {Master}, + title = {A {Distributed} {Server} {Architecture} for {Task} {Oriented} {Programming}}, + shorttitle = {A {Distributed} {Server} {Architecture} for {Task} {Oriented} {Programming}}, + url = {http://www.ru.nl/publish/pages/769526/arjan_oortgiese.pdf}, + language = {English}, + urldate = {2017-04-08}, + school = {Radboud University}, + 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, @@ -107,23 +96,34 @@ 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/a614qfce.default/zotero/storage/5SXR59GR/mart_paper.pdf:application/pdf} + file = {mart_paper.pdf:/home/mrl/.mozilla/firefox/7b4r727h.default-1470981082057/zotero/storage/5SXR59GR/mart_paper.pdf:application/pdf} } -@incollection{serrano_shallow_2016, - address = {Cham}, - series = {Lecture {Notes} in {Computer} {Science}}, - title = {A {Shallow} {Embedded} {Type} {Safe} {Extendable} {DSL} for the {Arduino}}, - volume = {9547}, - isbn = {978-3-319-39109-0 978-3-319-39110-6}, - url = {http://link.springer.com/10.1007/978-3-319-39110-6}, - urldate = {2017-02-22}, - booktitle = {Trends in {Functional} {Programming}}, - publisher = {Springer International Publishing}, - editor = {Serrano, Manuel and Hage, Jurriaan}, - 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/a614qfce.default/zotero/storage/TJVP6FHF/chp%3A10.1007%2F978-3-319-39110-6_6.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, @@ -133,5 +133,17 @@ 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/a614qfce.default/zotero/storage/R5IFMHTP/5614.pdf:application/pdf} + 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