-@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}
+@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},
}
-@incollection{plasmeijer_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},
- 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}
+@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,
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 —\; 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}
+@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},
}
-@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}
+@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},
}
@book{lijnse_top_2013,
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/7b4r727h.default-1470981082057/zotero/storage/9KZ9I6N9/103931.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/7b4r727h.default-1470981082057/zotero/storage/J4WXQXU4/arjan_oortgiese.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},
+}
+
+@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,
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/7b4r727h.default-1470981082057/zotero/storage/5SXR59GR/mart_paper.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/7b4r727h.default-1470981082057/zotero/storage/MTUSHBNF/pike-plpv14.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/7b4r727h.default-1470981082057/zotero/storage/NFBGZCZT/svenningsson2013combining.pdf:application/pdf}
+@incollection{plasmeijer_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},
+ author = {Plasmeijer, Rinus and Koopman, Pieter},
+ year = {2016},
+ note = {DOI: 10.1007/978-3-319-39110-6},
}
@techreport{cheney_first-class_2003,
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/7b4r727h.default-1470981082057/zotero/storage/R5IFMHTP/5614.pdf:application/pdf}
}
@inproceedings{cheney_lightweight_2002,
author = {Cheney, James and Hinze, Ralf},
year = {2002},
pages = {90--104},
- file = {HW02.pdf:/home/mrl/.mozilla/firefox/7b4r727h.default-1470981082057/zotero/storage/A8Z49NK6/HW02.pdf:application/pdf}
}
-@misc{noauthor_arduino_nodate,
- title = {Arduino - {Open} {Source} {Products} for {Electronic} {Projects}},
- url = {http://www.arduino.org/},
+@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},
- file = {Arduino - Open Source Products for Electronic Projects:/home/mrl/.mozilla/firefox/7b4r727h.default-1470981082057/zotero/storage/FPPFH7D2/www.arduino.org.html:text/html}
+ journal = {Acta Universitatis Sapientiae},
+ author = {Domoszlai, Laszlo and Bruel, Eddy and Jansen, Jan Martin},
+ year = {2011},
+ pages = {76--98},
}
-@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},
+@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},
- 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/7b4r727h.default-1470981082057/zotero/storage/7FNMPTHJ/07113786.pdf:application/pdf}
+ booktitle = {Selected papers of 9th {Joint} {Conference} on {Mathematics} and {Computer} {Science} ({February} 2012)},
+ author = {Domoszlai, László and Plasmeijer, Rinus},
+ year = {2012},
}
@article{plasmeijer_itasks:_2007,
author = {Plasmeijer, Rinus and Achten, Peter and Koopman, Pieter},
year = {2007},
pages = {141--152},
- file = {plar2007-ICFP07-iTasks.pdf:/home/mrl/.mozilla/firefox/7b4r727h.default-1470981082057/zotero/storage/N8EUZP7D/plar2007-ICFP07-iTasks.pdf:application/pdf}
}
-@misc{noauthor_firmata/protocol:_nodate,
- title = {firmata/protocol: {Documentation} of the {Firmata} protocol.},
- url = {https://github.com/firmata/protocol},
+@misc{noauthor_harduino_nodate,
+ title = {{hArduino} by {LeventErkok}.},
+ url = {https://leventerkok.github.io/hArduino/},
+ howpublished = {https://leventerkok.github.io/hArduino/},
urldate = {2017-05-23},
- file = {firmata/protocol\: Documentation of the Firmata protocol.:/home/mrl/.mozilla/firefox/7b4r727h.default-1470981082057/zotero/storage/98HIGKIS/protocol.html:text/html}
}
-@misc{noauthor_harduino_nodate,
- title = {{hArduino} by {LeventErkok}},
- url = {https://leventerkok.github.io/hArduino/},
+@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},
- file = {hArduino by LeventErkok:/home/mrl/.mozilla/firefox/7b4r727h.default-1470981082057/zotero/storage/JUDWSMV9/hArduino.html:text/html}
+ 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,
author = {Jansen, Jan Martin and Koopman, Pieter and Plasmeijer, Rinus},
year = {2007},
pages = {73},
- file = {janj2007-TFP06-EfficientInterpretationOfSAPL.pdf:/home/mrl/.mozilla/firefox/7b4r727h.default-1470981082057/zotero/storage/AQDI7QVE/janj2007-TFP06-EfficientInterpretationOfSAPL.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},
+@misc{noauthor_firmata/protocol:_nodate,
+ title = {firmata/protocol: {Documentation} of the {Firmata} protocol.},
+ url = {https://github.com/firmata/protocol},
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/7b4r727h.default-1470981082057/zotero/storage/DMQC59C4/117_36.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},
+@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},
- 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/7b4r727h.default-1470981082057/zotero/storage/2EVHREI3/53fc40190cf22f21c2f3b28a.pdf:application/pdf}
-}
-
-@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/7b4r727h.default-1470981082057/zotero/storage/KJMFUH7T/5678351608ae125516ee79c6.pdf:application/pdf}
}
@inproceedings{hickey_building_2014,
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/7b4r727h.default-1470981082057/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},
}
repositories / msc-thesis1617.git / blobdiff