Merge branch 'master' of git.martlubbers.net:msc-thesis1617
[msc-thesis1617.git] / thesis.bib
index 1deb14b..8d54ab7 100644 (file)
@@ -1,4 +1,45 @@
 
+@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},
+}
+
+@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},
+}
+
+@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},
+}
+
+@phdthesis{oortgiese_distributed_2017,
+       address = {Nijmegen},
+       type = {Master's Thesis},
+       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},
+}
+
 @incollection{achten_introduction_2015,
        title = {An {Introduction} to {Task} {Oriented} {Programming}},
        booktitle = {Central {European} {Functional} {Programming} {School}},
        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,
+@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},
+       author = {Lijnse, Bas},
+       year = {2013},
+       note = {OCLC: 833851220},
+}
+
+@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},
+}
+
+@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},
+}
+
+@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},
+}
+
+@incollection{plasmeijer_shallow_2016,
        address = {Cham},
        series = {Lecture {Notes} in {Computer} {Science}},
        title = {A {Shallow} {Embedded} {Type} {Safe} {Extendable} {DSL} for the {Arduino}},
        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}
 }
 
-@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/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},
 }
 
-@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},
 }
 
-@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}
+@article{domoszlai_implementing_2011,
+       title = {Implementing a non-strict purely functional language in {JavaScript}},
+       volume = {3},
+       url = {https://www.researchgate.net/profile/Jan_Martin_Jansen2/publication/230607075_Implementing_a_non-strict_purely_functional_language_in_JavaScript/links/53fc40190cf22f21c2f3b28a.pdf},
+       urldate = {2017-05-23},
+       journal = {Acta Universitatis Sapientiae},
+       author = {Domoszlai, Laszlo and Bruel, Eddy and Jansen, Jan Martin},
+       year = {2011},
+       pages = {76--98},
 }
 
-@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}
+@inproceedings{domoszlai_compiling_2012,
+       title = {Compiling {Haskell} to {JavaScript} through {Clean}'s core},
+       url = {http://ac.inf.elte.hu/Vol_036_2012/117_36.pdf},
+       urldate = {2017-05-23},
+       booktitle = {Selected papers of 9th {Joint} {Conference} on {Mathematics} and {Computer} {Science} ({February} 2012)},
+       author = {Domoszlai, László and Plasmeijer, Rinus},
+       year = {2012},
 }
 
-@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}
-}
\ No newline at end of file
+@article{plasmeijer_itasks:_2007,
+       title = {{iTasks}: executable specifications of interactive work flow systems for the web},
+       volume = {42},
+       number = {9},
+       journal = {ACM SIGPLAN Notices},
+       author = {Plasmeijer, Rinus and Achten, Peter and Koopman, Pieter},
+       year = {2007},
+       pages = {141--152},
+}
+
+@misc{noauthor_harduino_nodate,
+       title = {{hArduino} by {LeventErkok}.},
+       url = {https://leventerkok.github.io/hArduino/},
+       howpublished = {https://leventerkok.github.io/hArduino/},
+       urldate = {2017-05-23},
+}
+
+@inproceedings{elliott_guilt_2015,
+       title = {Guilt free ivory},
+       volume = {50},
+       booktitle = {{ACM} {SIGPLAN} {Notices}},
+       publisher = {ACM},
+       author = {Elliott, Trevor and Pike, Lee and Winwood, Simon and Hickey, Pat and Bielman, James and Sharp, Jamey and Seidel, Eric and Launchbury, John},
+       year = {2015},
+       pages = {189--200},
+}
+
+@article{riazul_islam_internet_2015,
+       title = {The {Internet} of {Things} for {Health} {Care}: {A} {Comprehensive} {Survey}},
+       volume = {3},
+       issn = {2169-3536},
+       shorttitle = {The {Internet} of {Things} for {Health} {Care}},
+       url = {http://ieeexplore.ieee.org/document/7113786/},
+       doi = {10.1109/ACCESS.2015.2437951},
+       urldate = {2017-05-23},
+       journal = {IEEE Access},
+       author = {Riazul Islam, S. M. and {Daehan Kwak} and Humaun Kabir, Md and Hossain, Mahmud and {Kyung-Sup Kwak}},
+       year = {2015},
+       pages = {678--708},
+}
+
+@article{jansen_efficient_2007,
+       title = {Efficient {Interpretation} by {Transforming} {Data} {Types} and {Patterns} to {Functions}},
+       volume = {7},
+       url = {https://books.google.com/books?hl=en&lr=&id=OyY3ioMJRAsC&oi=fnd&pg=PA73&dq=%22always+contain+special+constructs+for+data+types+and+pattern+matching%22+%22with+complexity+O(1),+instead+of+proportional+to+the+size+of+the%22+%22execution+of+certain+local+function+de%EF%AC%81nitions.+The+annotations+can%22+&ots=OytT5gnmgZ&sig=uvfA71YmRu64WdDn8hf7KjRSfqk},
+       urldate = {2017-05-23},
+       journal = {Trends in Functional Programming},
+       author = {Jansen, Jan Martin and Koopman, Pieter and Plasmeijer, Rinus},
+       year = {2007},
+       pages = {73},
+}
+
+@misc{noauthor_firmata/protocol:_nodate,
+       title = {firmata/protocol: {Documentation} of the {Firmata} protocol.},
+       url = {https://github.com/firmata/protocol},
+       urldate = {2017-05-23},
+}
+
+@misc{noauthor_arduino_nodate,
+       title = {Arduino - {Open} {Source} {Products} for {Electronic} {Projects}},
+       url = {http://www.arduino.org/},
+       howpublished = {\url{http://www.arduino.org/}},
+       urldate = {2017-05-23},
+}
+
+@inproceedings{hickey_building_2014,
+       title = {Building embedded systems with embedded {DSLs}},
+       isbn = {978-1-4503-2873-9},
+       url = {http://dl.acm.org/citation.cfm?doid=2628136.2628146},
+       doi = {10.1145/2628136.2628146},
+       language = {en},
+       urldate = {2017-05-23},
+       publisher = {ACM Press},
+       author = {Hickey, Patrick C. and Pike, Lee and Elliott, Trevor and Bielman, James and Launchbury, John},
+       year = {2014},
+       pages = {3--9},
+}
+
+@inproceedings{domoszlai_parametric_2014,
+       title = {Parametric lenses: change notification for bidirectional lenses},
+       shorttitle = {Parametric lenses},
+       url = {http://dl.acm.org/citation.cfm?id=2746333},
+       urldate = {2017-05-29},
+       booktitle = {Proceedings of the 26nd 2014 {International} {Symposium} on {Implementation} and {Application} of {Functional} {Languages}},
+       publisher = {ACM},
+       author = {Domoszlai, László and Lijnse, Bas and Plasmeijer, Rinus},
+       year = {2014},
+       pages = {9},
+}