X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=thesis.bib;h=9eb4dbe193afb5f4c144335496311d14d13c5959;hb=536f0a97037341dfeace97a7fb8f760aa12e978a;hp=c11c5971dad6f0e5533aa037cd1e757ea1142bfe;hpb=8c6f463e3da3f3a2469b44f17705d633c988fee6;p=msc-thesis1617.git

diff --git a/thesis.bib b/thesis.bib
index c11c597..9eb4dbe 100644
--- a/thesis.bib
+++ b/thesis.bib
@@ -110,7 +110,7 @@
 	file = {mart_paper.pdf:/home/mrl/.mozilla/firefox/a614qfce.default/zotero/storage/5SXR59GR/mart_paper.pdf:application/pdf}
 }
 
-@incollection{serrano_shallow_2016,
+@incollection{plasmeijer_shallow_2016,
 	address = {Cham},
 	series = {Lecture {Notes} in {Computer} {Science}},
 	title = {A {Shallow} {Embedded} {Type} {Safe} {Extendable} {DSL} for the {Arduino}},
@@ -120,7 +120,7 @@
 	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/a614qfce.default/zotero/storage/TJVP6FHF/chp%3A10.1007%2F978-3-319-39110-6_6.pdf:application/pdf}
@@ -134,4 +134,135 @@
 	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}
-}
\ No newline at end of file
+}
+
+@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}
+}
+
+@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},
+	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},
+	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,
+	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},
+	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}},
+	url = {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,
+	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},
+	file = {5678351608ae125516ee79c6.pdf:/home/mrl/.mozilla/firefox/a614qfce.default/zotero/storage/KJMFUH7T/5678351608ae125516ee79c6.pdf:application/pdf}
+}
+
+@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},
+	file = {07113786.pdf:/home/mrl/.mozilla/firefox/a614qfce.default/zotero/storage/7FNMPTHJ/07113786.pdf:application/pdf}
+}
+
+@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},
+	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/},
+	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,
+	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},
+	file = {embedded-experience.pdf:/home/mrl/.mozilla/firefox/a614qfce.default/zotero/storage/7IHBGC8H/embedded-experience.pdf:application/pdf}
+}
+
+@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},
+	file = {ifl2014_submission_20.pdf:/home/mrl/.mozilla/firefox/a614qfce.default/zotero/storage/3WI8PI5D/ifl2014_submission_20.pdf:application/pdf}
+}