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
},
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}
12 @incollection
{plasmeijer_shallow_2016
,
14 series = {Lecture
{Notes
} in
{Computer
} {Science
}},
15 title = {A
{Shallow
} {Embedded
} {Type
} {Safe
} {Extendable
} {DSL
} for the
{Arduino
}},
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
},
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}
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
}
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.
},
45 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}
48 @article
{da_xu_internet_2014
,
49 title = {Internet of things in industries
: a survey
},
52 journal = {Industrial Informatics
, IEEE Transactions on
},
53 author = {Da Xu
, Li and He
, Wu and Li
, Shancang
},
56 file
= {IOT industrial survey.pdf
:/home
/mrl
/.mozilla
/firefox
/7b4r727h.default
-1470981082057/zotero
/storage
/EJHG7M8I
/IOT industrial survey.pdf
:application
/pdf
}
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
},
65 publisher = {s.n.
] ; UB Nijmegen
[host
},
66 author = {Lijnse
, Bas
},
68 note = {OCLC
: 833851220},
69 file
= {103931.pdf
:/home
/mrl
/.mozilla
/firefox
/7b4r727h.default
-1470981082057/zotero
/storage
/9KZ9I6N9
/103931.pdf
:application
/pdf
}
72 @phdthesis
{oortgiese_distributed_2017
,
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
},
79 urldate
= {2017-04-08},
80 school = {Radboud University
},
81 author = {Oortgiese
, Arjan
},
83 file
= {arjan_oortgiese.pdf
:/home
/mrl
/.mozilla
/firefox
/7b4r727h.default
-1470981082057/zotero
/storage
/J4WXQXU4
/arjan_oortgiese.pdf
:application
/pdf
}
86 @incollection
{havelund_practical_2015
,
88 series = {Lecture
{Notes
} in
{Computer
} {Science
}},
89 title = {Practical
{Formal
} {Verification
} of
{Domain
}-{Specific
} {Language
} {Applications
}},
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
},
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
}
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},
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
},
114 file
= {pike
-plpv14.pdf
:/home
/mrl
/.mozilla
/firefox
/7b4r727h.default
-1470981082057/zotero
/storage
/MTUSHBNF
/pike
-plpv14.pdf
:application
/pdf
}
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
},
126 file
= {svenningsson2013combining.pdf
:/home
/mrl
/.mozilla
/firefox
/7b4r727h.default
-1470981082057/zotero
/storage
/NFBGZCZT
/svenningsson2013combining.pdf
:application
/pdf
}
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
},
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
}
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
}},
145 author = {Cheney
, James and Hinze
, Ralf
},
148 file
= {HW02.pdf
:/home
/mrl
/.mozilla
/firefox
/7b4r727h.default
-1470981082057/zotero
/storage
/A8Z49NK6
/HW02.pdf
:application
/pdf
}