thesis.bib

   1
   2 @article{da_xu_internet_2014,
   3         title = {Internet of things in industries: a survey},
   4         volume = {10},
   5         number = {4},
   6         journal = {Industrial Informatics, IEEE Transactions on},
   7         author = {Da Xu, Li and He, Wu and Li, Shancang},
   8         year = {2014},
   9         pages = {2233--2243},
  10         file = {IOT industrial survey.pdf:/home/mrl/.mozilla/firefox/a614qfce.default/zotero/storage/EJHG7M8I/IOT industrial survey.pdf:application/pdf}
  11 }
  12
  13 @inproceedings{svenningsson_combining_2012,
  14         title = {Combining deep and shallow embedding for {EDSL}},
  15         url = {http://link.springer.com/chapter/10.1007/978-3-642-40447-4_2},
  16         urldate = {2017-05-10},
  17         booktitle = {International {Symposium} on {Trends} in {Functional} {Programming}},
  18         publisher = {Springer},
  19         author = {Svenningsson, Josef and Axelsson, Emil},
  20         year = {2012},
  21         pages = {21--36},
  22         file = {svenningsson2013combining.pdf:/home/mrl/.mozilla/firefox/a614qfce.default/zotero/storage/NFBGZCZT/svenningsson2013combining.pdf:application/pdf}
  23 }
  24
  25 @article{koopman_type-safe_nodate,
  26         title = {Type-{Safe} {Functions} and {Tasks} in a {Shallow} {Embedded} {DSL} for {Microprocessors}},
  27         url = {https://tfp2016.org/papers/TFP_2016_paper_7.pdf},
  28         urldate = {2017-02-22},
  29         author = {Koopman, Pieter and Plasmeijer, Rinus},
  30         file = {TFP_2016_paper_7.pdf:/home/mrl/.mozilla/firefox/a614qfce.default/zotero/storage/WR3PZNTT/TFP_2016_paper_7.pdf:application/pdf}
  31 }
  32
  33 @phdthesis{oortgiese_distributed_2017,
  34         address = {Nijmegen},
  35         type = {Master},
  36         title = {A {Distributed} {Server} {Architecture} for {Task} {Oriented} {Programming}},
  37         shorttitle = {A {Distributed} {Server} {Architecture} for {Task} {Oriented} {Programming}},
  38         url = {http://www.ru.nl/publish/pages/769526/arjan_oortgiese.pdf},
  39         language = {English},
  40         urldate = {2017-04-08},
  41         school = {Radboud University},
  42         author = {Oortgiese, Arjan},
  43         year = {2017},
  44         file = {arjan_oortgiese.pdf:/home/mrl/.mozilla/firefox/a614qfce.default/zotero/storage/J4WXQXU4/arjan_oortgiese.pdf:application/pdf}
  45 }
  46
  47 @incollection{achten_introduction_2015,
  48         title = {An {Introduction} to {Task} {Oriented} {Programming}},
  49         booktitle = {Central {European} {Functional} {Programming} {School}},
  50         publisher = {Springer},
  51         author = {Achten, Peter and Koopman, Pieter and Plasmeijer, Rinus},
  52         year = {2015},
  53         pages = {187--245},
  54         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}
  55 }
  56
  57 @book{lijnse_top_2013,
  58         address = {S.l.; Nijmegen},
  59         title = {{TOP} to the rescue: task-oriented programming for incident response applications},
  60         isbn = {978-90-820259-0-3},
  61         shorttitle = {{TOP} to the rescue},
  62         language = {English},
  63         publisher = {s.n.] ; UB Nijmegen [host},
  64         author = {Lijnse, Bas},
  65         year = {2013},
  66         note = {OCLC: 833851220},
  67         file = {103931.pdf:/home/mrl/.mozilla/firefox/a614qfce.default/zotero/storage/9KZ9I6N9/103931.pdf:application/pdf}
  68 }
  69
  70 @inproceedings{pike_programming_2014,
  71         title = {Programming languages for high-assurance autonomous vehicles: extended abstract},
  72         isbn = {978-1-4503-2567-7},
  73         shorttitle = {Programming languages for high-assurance autonomous vehicles},
  74         url = {http://dl.acm.org/citation.cfm?doid=2541568.2541570},
  75         doi = {10.1145/2541568.2541570},
  76         language = {en},
  77         urldate = {2017-05-10},
  78         publisher = {ACM Press},
  79         author = {Pike, Lee and Hickey, Patrick and Bielman, James and Elliott, Trevor and DuBuisson, Thomas and Launchbury, John},
  80         year = {2014},
  81         pages = {1--2},
  82         file = {pike-plpv14.pdf:/home/mrl/.mozilla/firefox/a614qfce.default/zotero/storage/MTUSHBNF/pike-plpv14.pdf:application/pdf}
  83 }
  84
  85 @inproceedings{brus_cleanlanguage_1987,
  86         title = {Clean—a language for functional graph rewriting},
  87         url = {http://link.springer.com/chapter/10.1007/3-540-18317-5_20},
  88         urldate = {2017-02-24},
  89         booktitle = {Conference on {Functional} {Programming} {Languages} and {Computer} {Architecture}},
  90         publisher = {Springer},
  91         author = {Brus, T. H. and van Eekelen, Marko CJD and Van Leer, M. O. and Plasmeijer, Marinus J.},
  92         year = {1987},
  93         pages = {364--384},
  94         file = {Clean &#x2014\; 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}
  95 }
  96
  97 @incollection{havelund_practical_2015,
  98         address = {Cham},
  99         series = {Lecture {Notes} in {Computer} {Science}},
 100         title = {Practical {Formal} {Verification} of {Domain}-{Specific} {Language} {Applications}},
 101         volume = {9058},
 102         isbn = {978-3-319-17523-2 978-3-319-17524-9},
 103         url = {http://link.springer.com/10.1007/978-3-319-17524-9},
 104         urldate = {2017-05-10},
 105         booktitle = {{NASA} {Formal} {Methods}},
 106         publisher = {Springer International Publishing},
 107         editor = {Havelund, Klaus and Holzmann, Gerard and Joshi, Rajeev},
 108         year = {2015},
 109         note = {DOI: 10.1007/978-3-319-17524-9},
 110         file = {mart_paper.pdf:/home/mrl/.mozilla/firefox/a614qfce.default/zotero/storage/5SXR59GR/mart_paper.pdf:application/pdf}
 111 }
 112
 113 @incollection{plasmeijer_shallow_2016,
 114         address = {Cham},
 115         series = {Lecture {Notes} in {Computer} {Science}},
 116         title = {A {Shallow} {Embedded} {Type} {Safe} {Extendable} {DSL} for the {Arduino}},
 117         volume = {9547},
 118         isbn = {978-3-319-39109-0 978-3-319-39110-6},
 119         url = {http://link.springer.com/10.1007/978-3-319-39110-6},
 120         urldate = {2017-02-22},
 121         booktitle = {Trends in {Functional} {Programming}},
 122         publisher = {Springer International Publishing},
 123         author = {Plasmeijer, Rinus and Koopman, Pieter},
 124         year = {2016},
 125         note = {DOI: 10.1007/978-3-319-39110-6},
 126         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}
 127 }
 128
 129 @techreport{cheney_first-class_2003,
 130         title = {First-class phantom types},
 131         url = {https://ecommons.cornell.edu/handle/1813/5614},
 132         urldate = {2017-05-15},
 133         institution = {Cornell University},
 134         author = {Cheney, James and Hinze, Ralf},
 135         year = {2003},
 136         file = {https\://ecommons.cornell.edu/bitstream/handle/1813/5614/?sequence=1:/home/mrl/.mozilla/firefox/a614qfce.default/zotero/storage/R5IFMHTP/5614.pdf:application/pdf}
 137 }
 138
 139 @inproceedings{cheney_lightweight_2002,
 140         title = {A lightweight implementation of generics and dynamics},
 141         url = {http://dl.acm.org/citation.cfm?id=581698},
 142         urldate = {2017-05-15},
 143         booktitle = {Proceedings of the 2002 {ACM} {SIGPLAN} workshop on {Haskell}},
 144         publisher = {ACM},
 145         author = {Cheney, James and Hinze, Ralf},
 146         year = {2002},
 147         pages = {90--104},
 148         file = {HW02.pdf:/home/mrl/.mozilla/firefox/a614qfce.default/zotero/storage/A8Z49NK6/HW02.pdf:application/pdf}
 149 }
 150
 151 @article{domoszlai_implementing_2011,
 152         title = {Implementing a non-strict purely functional language in {JavaScript}},
 153         volume = {3},
 154         url = {https://www.researchgate.net/profile/Jan_Martin_Jansen2/publication/230607075_Implementing_a_non-strict_purely_functional_language_in_JavaScript/links/53fc40190cf22f21c2f3b28a.pdf},
 155         urldate = {2017-05-23},
 156         journal = {Acta Universitatis Sapientiae},
 157         author = {Domoszlai, Laszlo and Bruel, Eddy and Jansen, Jan Martin},
 158         year = {2011},
 159         pages = {76--98},
 160         file = {53fc40190cf22f21c2f3b28a.pdf:/home/mrl/.mozilla/firefox/a614qfce.default/zotero/storage/2EVHREI3/53fc40190cf22f21c2f3b28a.pdf:application/pdf}
 161 }
 162
 163 @inproceedings{domoszlai_compiling_2012,
 164         title = {Compiling {Haskell} to {JavaScript} through {Clean}’s core},
 165         url = {http://ac.inf.elte.hu/Vol_036_2012/117_36.pdf},
 166         urldate = {2017-05-23},
 167         booktitle = {Selected papers of 9th {Joint} {Conference} on {Mathematics} and {Computer} {Science} ({February} 2012)},
 168         author = {Domoszlai, László and Plasmeijer, Rinus},
 169         year = {2012},
 170         file = {117_36.pdf:/home/mrl/.mozilla/firefox/a614qfce.default/zotero/storage/DMQC59C4/117_36.pdf:application/pdf}
 171 }
 172
 173 @article{plasmeijer_itasks:_2007,
 174         title = {{iTasks}: executable specifications of interactive work flow systems for the web},
 175         volume = {42},
 176         number = {9},
 177         journal = {ACM SIGPLAN Notices},
 178         author = {Plasmeijer, Rinus and Achten, Peter and Koopman, Pieter},
 179         year = {2007},
 180         pages = {141--152},
 181         file = {plar2007-ICFP07-iTasks.pdf:/home/mrl/.mozilla/firefox/a614qfce.default/zotero/storage/N8EUZP7D/plar2007-ICFP07-iTasks.pdf:application/pdf}
 182 }
 183
 184 @misc{noauthor_harduino_nodate,
 185         title = {{hArduino} by {LeventErkok}},
 186         url = {https://leventerkok.github.io/hArduino/},
 187         urldate = {2017-05-23},
 188         file = {hArduino by LeventErkok:/home/mrl/.mozilla/firefox/a614qfce.default/zotero/storage/JUDWSMV9/hArduino.html:text/html}
 189 }
 190
 191 @inproceedings{elliott_guilt_2015,
 192         title = {Guilt free ivory},
 193         volume = {50},
 194         booktitle = {{ACM} {SIGPLAN} {Notices}},
 195         publisher = {ACM},
 196         author = {Elliott, Trevor and Pike, Lee and Winwood, Simon and Hickey, Pat and Bielman, James and Sharp, Jamey and Seidel, Eric and Launchbury, John},
 197         year = {2015},
 198         pages = {189--200},
 199         file = {5678351608ae125516ee79c6.pdf:/home/mrl/.mozilla/firefox/a614qfce.default/zotero/storage/KJMFUH7T/5678351608ae125516ee79c6.pdf:application/pdf}
 200 }
 201
 202 @article{riazul_islam_internet_2015,
 203         title = {The {Internet} of {Things} for {Health} {Care}: {A} {Comprehensive} {Survey}},
 204         volume = {3},
 205         issn = {2169-3536},
 206         shorttitle = {The {Internet} of {Things} for {Health} {Care}},
 207         url = {http://ieeexplore.ieee.org/document/7113786/},
 208         doi = {10.1109/ACCESS.2015.2437951},
 209         urldate = {2017-05-23},
 210         journal = {IEEE Access},
 211         author = {Riazul Islam, S. M. and {Daehan Kwak} and Humaun Kabir, Md and Hossain, Mahmud and {Kyung-Sup Kwak}},
 212         year = {2015},
 213         pages = {678--708},
 214         file = {07113786.pdf:/home/mrl/.mozilla/firefox/a614qfce.default/zotero/storage/7FNMPTHJ/07113786.pdf:application/pdf}
 215 }
 216
 217 @article{jansen_efficient_2007,
 218         title = {Efficient {Interpretation} by {Transforming} {Data} {Types} and {Patterns} to {Functions}},
 219         volume = {7},
 220         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},
 221         urldate = {2017-05-23},
 222         journal = {Trends in Functional Programming},
 223         author = {Jansen, Jan Martin and Koopman, Pieter and Plasmeijer, Rinus},
 224         year = {2007},
 225         pages = {73},
 226         file = {janj2007-TFP06-EfficientInterpretationOfSAPL.pdf:/home/mrl/.mozilla/firefox/a614qfce.default/zotero/storage/AQDI7QVE/janj2007-TFP06-EfficientInterpretationOfSAPL.pdf:application/pdf}
 227 }
 228
 229 @misc{noauthor_firmata/protocol:_nodate,
 230         title = {firmata/protocol: {Documentation} of the {Firmata} protocol.},
 231         url = {https://github.com/firmata/protocol},
 232         urldate = {2017-05-23},
 233         file = {firmata/protocol\: Documentation of the Firmata protocol.:/home/mrl/.mozilla/firefox/a614qfce.default/zotero/storage/98HIGKIS/protocol.html:text/html}
 234 }
 235
 236 @misc{noauthor_arduino_nodate,
 237         title = {Arduino - {Open} {Source} {Products} for {Electronic} {Projects}},
 238         url = {http://www.arduino.org/},
 239         urldate = {2017-05-23},
 240         file = {Arduino - Open Source Products for Electronic Projects:/home/mrl/.mozilla/firefox/a614qfce.default/zotero/storage/FPPFH7D2/www.arduino.org.html:text/html}
 241 }
 242
 243 @inproceedings{hickey_building_2014,
 244         title = {Building embedded systems with embedded {DSLs}},
 245         isbn = {978-1-4503-2873-9},
 246         url = {http://dl.acm.org/citation.cfm?doid=2628136.2628146},
 247         doi = {10.1145/2628136.2628146},
 248         language = {en},
 249         urldate = {2017-05-23},
 250         publisher = {ACM Press},
 251         author = {Hickey, Patrick C. and Pike, Lee and Elliott, Trevor and Bielman, James and Launchbury, John},
 252         year = {2014},
 253         pages = {3--9},
 254         file = {embedded-experience.pdf:/home/mrl/.mozilla/firefox/a614qfce.default/zotero/storage/7IHBGC8H/embedded-experience.pdf:application/pdf}
 255 }
 256
 257 @inproceedings{domoszlai_parametric_2014,
 258         title = {Parametric lenses: change notification for bidirectional lenses},
 259         shorttitle = {Parametric lenses},
 260         url = {http://dl.acm.org/citation.cfm?id=2746333},
 261         urldate = {2017-05-29},
 262         booktitle = {Proceedings of the 26nd 2014 {International} {Symposium} on {Implementation} and {Application} of {Functional} {Languages}},
 263         publisher = {ACM},
 264         author = {Domoszlai, László and Lijnse, Bas and Plasmeijer, Rinus},
 265         year = {2014},
 266         pages = {9},
 267         file = {ifl2014_submission_20.pdf:/home/mrl/.mozilla/firefox/a614qfce.default/zotero/storage/3WI8PI5D/ifl2014_submission_20.pdf:application/pdf}
 268 }