X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=thesis.bib;h=8d54ab7c96dd52fddf1e7b41c6f00b152b07f99b;hb=62adc41f28fb8baaa8e1a40d8806b06069d641ed;hp=9eb4dbe193afb5f4c144335496311d14d13c5959;hpb=9662cccfffecb70d621318b5f3a35e46b6029f3c;p=msc-thesis1617.git diff --git a/thesis.bib b/thesis.bib index 9eb4dbe..8d54ab7 100644 --- a/thesis.bib +++ b/thesis.bib @@ -7,7 +7,6 @@ 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, @@ -19,7 +18,6 @@ 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, @@ -27,12 +25,11 @@ 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}, + 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}, @@ -41,7 +38,6 @@ 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, @@ -51,7 +47,6 @@ 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} } @book{lijnse_top_2013, @@ -60,11 +55,10 @@ isbn = {978-90-820259-0-3}, shorttitle = {{TOP} to the rescue}, language = {English}, - publisher = {s.n.] ; UB Nijmegen [host}, + publisher = {s.n.; UB Nijmegen}, 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, @@ -79,7 +73,6 @@ 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, @@ -91,7 +84,6 @@ 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} } @incollection{havelund_practical_2015, @@ -107,7 +99,6 @@ 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{plasmeijer_shallow_2016, @@ -123,7 +114,6 @@ 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/a614qfce.default/zotero/storage/TJVP6FHF/chp%3A10.1007%2F978-3-319-39110-6_6.pdf:application/pdf} } @techreport{cheney_first-class_2003, @@ -133,7 +123,6 @@ 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{cheney_lightweight_2002, @@ -145,7 +134,6 @@ 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} } @article{domoszlai_implementing_2011, @@ -157,17 +145,15 @@ author = {Domoszlai, Laszlo and Bruel, Eddy and Jansen, Jan Martin}, year = {2011}, pages = {76--98}, - file = {53fc40190cf22f21c2f3b28a.pdf:/home/mrl/.mozilla/firefox/a614qfce.default/zotero/storage/2EVHREI3/53fc40190cf22f21c2f3b28a.pdf:application/pdf} } @inproceedings{domoszlai_compiling_2012, - title = {Compiling {Haskell} to {JavaScript} through {Clean}’s core}, + 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}, - file = {117_36.pdf:/home/mrl/.mozilla/firefox/a614qfce.default/zotero/storage/DMQC59C4/117_36.pdf:application/pdf} } @article{plasmeijer_itasks:_2007, @@ -178,14 +164,13 @@ author = {Plasmeijer, Rinus and Achten, Peter and Koopman, Pieter}, year = {2007}, pages = {141--152}, - file = {plar2007-ICFP07-iTasks.pdf:/home/mrl/.mozilla/firefox/a614qfce.default/zotero/storage/N8EUZP7D/plar2007-ICFP07-iTasks.pdf:application/pdf} } @misc{noauthor_harduino_nodate, - title = {{hArduino} by {LeventErkok}}, + title = {{hArduino} by {LeventErkok}.}, url = {https://leventerkok.github.io/hArduino/}, + howpublished = {https://leventerkok.github.io/hArduino/}, urldate = {2017-05-23}, - file = {hArduino by LeventErkok:/home/mrl/.mozilla/firefox/a614qfce.default/zotero/storage/JUDWSMV9/hArduino.html:text/html} } @inproceedings{elliott_guilt_2015, @@ -196,7 +181,6 @@ 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}, - file = {5678351608ae125516ee79c6.pdf:/home/mrl/.mozilla/firefox/a614qfce.default/zotero/storage/KJMFUH7T/5678351608ae125516ee79c6.pdf:application/pdf} } @article{riazul_islam_internet_2015, @@ -211,7 +195,6 @@ author = {Riazul Islam, S. M. and {Daehan Kwak} and Humaun Kabir, Md and Hossain, Mahmud and {Kyung-Sup Kwak}}, year = {2015}, pages = {678--708}, - file = {07113786.pdf:/home/mrl/.mozilla/firefox/a614qfce.default/zotero/storage/7FNMPTHJ/07113786.pdf:application/pdf} } @article{jansen_efficient_2007, @@ -223,21 +206,19 @@ author = {Jansen, Jan Martin and Koopman, Pieter and Plasmeijer, Rinus}, year = {2007}, pages = {73}, - file = {janj2007-TFP06-EfficientInterpretationOfSAPL.pdf:/home/mrl/.mozilla/firefox/a614qfce.default/zotero/storage/AQDI7QVE/janj2007-TFP06-EfficientInterpretationOfSAPL.pdf:application/pdf} } @misc{noauthor_firmata/protocol:_nodate, title = {firmata/protocol: {Documentation} of the {Firmata} protocol.}, url = {https://github.com/firmata/protocol}, urldate = {2017-05-23}, - file = {firmata/protocol\: Documentation of the Firmata protocol.:/home/mrl/.mozilla/firefox/a614qfce.default/zotero/storage/98HIGKIS/protocol.html:text/html} } @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}, - file = {Arduino - Open Source Products for Electronic Projects:/home/mrl/.mozilla/firefox/a614qfce.default/zotero/storage/FPPFH7D2/www.arduino.org.html:text/html} } @inproceedings{hickey_building_2014, @@ -251,7 +232,6 @@ author = {Hickey, Patrick C. and Pike, Lee and Elliott, Trevor and Bielman, James and Launchbury, John}, year = {2014}, pages = {3--9}, - file = {embedded-experience.pdf:/home/mrl/.mozilla/firefox/a614qfce.default/zotero/storage/7IHBGC8H/embedded-experience.pdf:application/pdf} } @inproceedings{domoszlai_parametric_2014, @@ -264,5 +244,4 @@ author = {Domoszlai, László and Lijnse, Bas and Plasmeijer, Rinus}, year = {2014}, pages = {9}, - file = {ifl2014_submission_20.pdf:/home/mrl/.mozilla/firefox/a614qfce.default/zotero/storage/3WI8PI5D/ifl2014_submission_20.pdf:application/pdf} }