X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=thesis.bib;h=fc0050d4de05c9b44550cc548c5ede9f384e4704;hb=c701de5fbdb875ad9c2257f6fb54ebc8f7805d77;hp=3b6d9d083b4e74c3db0ef920182058947059f32a;hpb=c3f505fc05f88dd9b36b433b615de6be08977601;p=msc-thesis1617.git

diff --git a/thesis.bib b/thesis.bib
index 3b6d9d0..fc0050d 100644
--- a/thesis.bib
+++ b/thesis.bib
@@ -1,4 +1,49 @@
 
+@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}
+}
+
+@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}
+}
+
+@article{koopman_type-safe_nodate,
+	title = {Type-{Safe} {Functions} and {Tasks} in a {Shallow} {Embedded} {DSL} for {Microprocessors}},
+	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}
+}
+
+@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}
+}
+
 @incollection{achten_introduction_2015,
 	title = {An {Introduction} to {Task} {Oriented} {Programming}},
 	booktitle = {Central {European} {Functional} {Programming} {School}},
@@ -6,7 +51,63 @@
 	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}
+	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}
+}
+
+@book{lijnse_top_2013,
+	address = {S.l.; Nijmegen},
+	title = {{TOP} to the rescue: task-oriented programming for incident response applications},
+	isbn = {978-90-820259-0-3},
+	shorttitle = {{TOP} to the rescue},
+	language = {English},
+	publisher = {s.n.] ; UB Nijmegen [host},
+	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}
+}
+
+@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 &#x2014\; 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}
+}
+
+@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/a614qfce.default/zotero/storage/5SXR59GR/mart_paper.pdf:application/pdf}
 }
 
 @incollection{serrano_shallow_2016,
@@ -22,25 +123,27 @@
 	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/7b4r727h.default-1470981082057/zotero/storage/TJVP6FHF/chp%3A10.1007%2F978-3-319-39110-6_6.pdf:application/pdf}
+	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}
 }
 
-@article{koopman_type-safe_????,
-	title = {Type-{Safe} {Functions} and {Tasks} in a {Shallow} {Embedded} {DSL} for {Microprocessors}},
-	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/7b4r727h.default-1470981082057/zotero/storage/WR3PZNTT/TFP_2016_paper_7.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/a614qfce.default/zotero/storage/R5IFMHTP/5614.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 &#x2014\; 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}
-}
+@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/a614qfce.default/zotero/storage/A8Z49NK6/HW02.pdf:application/pdf}
+}
\ No newline at end of file