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{serrano_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         editor = {Serrano, Manuel and Hage, Jurriaan},
 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 }