thesis.bib

   1
   2 @incollection{achten_introduction_2015,
   3         title = {An {Introduction} to {Task} {Oriented} {Programming}},
   4         booktitle = {Central {European} {Functional} {Programming} {School}},
   5         publisher = {Springer},
   6         author = {Achten, Peter and Koopman, Pieter and Plasmeijer, Rinus},
   7         year = {2015},
   8         pages = {187--245},
   9         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}
  10 }
  11
  12 @incollection{plasmeijer_shallow_2016,
  13         address = {Cham},
  14         series = {Lecture {Notes} in {Computer} {Science}},
  15         title = {A {Shallow} {Embedded} {Type} {Safe} {Extendable} {DSL} for the {Arduino}},
  16         volume = {9547},
  17         isbn = {978-3-319-39109-0 978-3-319-39110-6},
  18         url = {http://link.springer.com/10.1007/978-3-319-39110-6},
  19         urldate = {2017-02-22},
  20         booktitle = {Trends in {Functional} {Programming}},
  21         publisher = {Springer International Publishing},
  22         author = {Plasmeijer, Rinus and Koopman, Pieter},
  23         year = {2016},
  24         note = {DOI: 10.1007/978-3-319-39110-6},
  25         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}
  26 }
  27
  28 @article{koopman_type-safe_nodate,
  29         title = {Type-{Safe} {Functions} and {Tasks} in a {Shallow} {Embedded} {DSL} for {Microprocessors}},
  30         url = {https://tfp2016.org/papers/TFP_2016_paper_7.pdf},
  31         urldate = {2017-02-22},
  32         author = {Koopman, Pieter and Plasmeijer, Rinus},
  33         file = {TFP_2016_paper_7.pdf:/home/mrl/.mozilla/firefox/7b4r727h.default-1470981082057/zotero/storage/WR3PZNTT/TFP_2016_paper_7.pdf:application/pdf}
  34 }
  35
  36 @inproceedings{brus_cleanlanguage_1987,
  37         title = {Clean—a language for functional graph rewriting},
  38         url = {http://link.springer.com/chapter/10.1007/3-540-18317-5_20},
  39         urldate = {2017-02-24},
  40         booktitle = {Conference on {Functional} {Programming} {Languages} and {Computer} {Architecture}},
  41         publisher = {Springer},
  42         author = {Brus, T. H. and van Eekelen, Marko CJD and Van Leer, M. O. and Plasmeijer, Marinus J.},
  43         year = {1987},
  44         pages = {364--384},
  45         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}
  46 }
  47
  48 @article{da_xu_internet_2014,
  49         title = {Internet of things in industries: a survey},
  50         volume = {10},
  51         number = {4},
  52         journal = {Industrial Informatics, IEEE Transactions on},
  53         author = {Da Xu, Li and He, Wu and Li, Shancang},
  54         year = {2014},
  55         pages = {2233--2243},
  56         file = {IOT industrial survey.pdf:/home/mrl/.mozilla/firefox/7b4r727h.default-1470981082057/zotero/storage/EJHG7M8I/IOT industrial survey.pdf:application/pdf}
  57 }
  58
  59 @book{lijnse_top_2013,
  60         address = {S.l.; Nijmegen},
  61         title = {{TOP} to the rescue: task-oriented programming for incident response applications},
  62         isbn = {978-90-820259-0-3},
  63         shorttitle = {{TOP} to the rescue},
  64         language = {English},
  65         publisher = {s.n.] ; UB Nijmegen [host},
  66         author = {Lijnse, Bas},
  67         year = {2013},
  68         note = {OCLC: 833851220},
  69         file = {103931.pdf:/home/mrl/.mozilla/firefox/7b4r727h.default-1470981082057/zotero/storage/9KZ9I6N9/103931.pdf:application/pdf}
  70 }
  71
  72 @phdthesis{oortgiese_distributed_2017,
  73         address = {Nijmegen},
  74         type = {Master},
  75         title = {A {Distributed} {Server} {Architecture} for {Task} {Oriented} {Programming}},
  76         shorttitle = {A {Distributed} {Server} {Architecture} for {Task} {Oriented} {Programming}},
  77         url = {http://www.ru.nl/publish/pages/769526/arjan_oortgiese.pdf},
  78         language = {English},
  79         urldate = {2017-04-08},
  80         school = {Radboud University},
  81         author = {Oortgiese, Arjan},
  82         year = {2017},
  83         file = {arjan_oortgiese.pdf:/home/mrl/.mozilla/firefox/7b4r727h.default-1470981082057/zotero/storage/J4WXQXU4/arjan_oortgiese.pdf:application/pdf}
  84 }
  85
  86 @incollection{havelund_practical_2015,
  87         address = {Cham},
  88         series = {Lecture {Notes} in {Computer} {Science}},
  89         title = {Practical {Formal} {Verification} of {Domain}-{Specific} {Language} {Applications}},
  90         volume = {9058},
  91         isbn = {978-3-319-17523-2 978-3-319-17524-9},
  92         url = {http://link.springer.com/10.1007/978-3-319-17524-9},
  93         urldate = {2017-05-10},
  94         booktitle = {{NASA} {Formal} {Methods}},
  95         publisher = {Springer International Publishing},
  96         editor = {Havelund, Klaus and Holzmann, Gerard and Joshi, Rajeev},
  97         year = {2015},
  98         note = {DOI: 10.1007/978-3-319-17524-9},
  99         file = {mart_paper.pdf:/home/mrl/.mozilla/firefox/7b4r727h.default-1470981082057/zotero/storage/5SXR59GR/mart_paper.pdf:application/pdf}
 100 }
 101
 102 @inproceedings{pike_programming_2014,
 103         title = {Programming languages for high-assurance autonomous vehicles: extended abstract},
 104         isbn = {978-1-4503-2567-7},
 105         shorttitle = {Programming languages for high-assurance autonomous vehicles},
 106         url = {http://dl.acm.org/citation.cfm?doid=2541568.2541570},
 107         doi = {10.1145/2541568.2541570},
 108         language = {en},
 109         urldate = {2017-05-10},
 110         publisher = {ACM Press},
 111         author = {Pike, Lee and Hickey, Patrick and Bielman, James and Elliott, Trevor and DuBuisson, Thomas and Launchbury, John},
 112         year = {2014},
 113         pages = {1--2},
 114         file = {pike-plpv14.pdf:/home/mrl/.mozilla/firefox/7b4r727h.default-1470981082057/zotero/storage/MTUSHBNF/pike-plpv14.pdf:application/pdf}
 115 }
 116
 117 @inproceedings{svenningsson_combining_2012,
 118         title = {Combining deep and shallow embedding for {EDSL}},
 119         url = {http://link.springer.com/chapter/10.1007/978-3-642-40447-4_2},
 120         urldate = {2017-05-10},
 121         booktitle = {International {Symposium} on {Trends} in {Functional} {Programming}},
 122         publisher = {Springer},
 123         author = {Svenningsson, Josef and Axelsson, Emil},
 124         year = {2012},
 125         pages = {21--36},
 126         file = {svenningsson2013combining.pdf:/home/mrl/.mozilla/firefox/7b4r727h.default-1470981082057/zotero/storage/NFBGZCZT/svenningsson2013combining.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/7b4r727h.default-1470981082057/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/7b4r727h.default-1470981082057/zotero/storage/A8Z49NK6/HW02.pdf:application/pdf}
 149 }