finalize planning

[msc-thesis1617.git] / thesis.bib

diff --git a/thesis.bib b/thesis.bib
index e69de29..dfbd233 100644 (file)
--- a/thesis.bib
+++ b/thesis.bib
@@ -0,0 +1,70 @@
+
+@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}
+}
+
+@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/7b4r727h.default-1470981082057/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}
+}
+
+@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}
+}
+
+@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,
+       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/7b4r727h.default-1470981082057/zotero/storage/9KZ9I6N9/103931.pdf:application/pdf}
+}
\ No newline at end of file