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
}
151 @misc
{noauthor_arduino_nodate
,
152 title = {Arduino
- {Open
} {Source
} {Products
} for
{Electronic
} {Projects
}},
153 url
= {http
://www.arduino.org
/},
154 urldate
= {2017-05-23},
155 file
= {Arduino
- Open Source Products for Electronic Projects
:/home
/mrl
/.mozilla
/firefox
/7b4r727h.default
-1470981082057/zotero
/storage
/FPPFH7D2
/www.arduino.org.html
:text
/html
}
158 @article
{riazul_islam_internet_2015
,
159 title = {The
{Internet
} of
{Things
} for
{Health
} {Care
}: {A
} {Comprehensive
} {Survey
}},
162 shorttitle
= {The
{Internet
} of
{Things
} for
{Health
} {Care
}},
163 url
= {http
://ieeexplore.ieee.org
/document
/7113786/},
164 doi
= {10.1109/ACCESS
.2015.2437951},
165 urldate
= {2017-05-23},
166 journal = {IEEE Access
},
167 author = {Riazul Islam
, S. M. and
{Daehan Kwak
} and Humaun Kabir
, Md and Hossain
, Mahmud and
{Kyung
-Sup Kwak
}},
170 file
= {07113786.pdf
:/home
/mrl
/.mozilla
/firefox
/7b4r727h.default
-1470981082057/zotero
/storage
/7FNMPTHJ
/07113786.pdf
:application
/pdf
}
173 @article
{plasmeijer_itasks
:_2007
,
174 title = {{iTasks
}: executable specifications of interactive work flow systems for the web
},
177 journal = {ACM SIGPLAN Notices
},
178 author = {Plasmeijer
, Rinus and Achten
, Peter and Koopman
, Pieter
},
181 file
= {plar2007
-ICFP07
-iTasks.pdf
:/home
/mrl
/.mozilla
/firefox
/7b4r727h.default
-1470981082057/zotero
/storage
/N8EUZP7D
/plar2007
-ICFP07
-iTasks.pdf
:application
/pdf
}
184 @misc
{noauthor_firmata
/protocol
:_nodate
,
185 title = {firmata
/protocol
: {Documentation
} of the
{Firmata
} protocol.
},
186 url
= {https
://github.com
/firmata
/protocol
},
187 urldate
= {2017-05-23},
188 file
= {firmata
/protocol\
: Documentation of the Firmata protocol.
:/home
/mrl
/.mozilla
/firefox
/7b4r727h.default
-1470981082057/zotero
/storage
/98HIGKIS
/protocol.html
:text
/html
}
191 @misc
{noauthor_harduino_nodate
,
192 title = {{hArduino
} by
{LeventErkok
}},
193 url
= {https
://leventerkok.github.io
/hArduino
/},
194 urldate
= {2017-05-23},
195 file
= {hArduino by LeventErkok
:/home
/mrl
/.mozilla
/firefox
/7b4r727h.default
-1470981082057/zotero
/storage
/JUDWSMV9
/hArduino.html
:text
/html
}
198 @article
{jansen_efficient_2007
,
199 title = {Efficient
{Interpretation
} by
{Transforming
} {Data
} {Types
} and
{Patterns
} to
{Functions
}},
201 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},
202 urldate
= {2017-05-23},
203 journal = {Trends in Functional Programming
},
204 author = {Jansen
, Jan Martin and Koopman
, Pieter and Plasmeijer
, Rinus
},
207 file
= {janj2007
-TFP06
-EfficientInterpretationOfSAPL.pdf
:/home
/mrl
/.mozilla
/firefox
/7b4r727h.default
-1470981082057/zotero
/storage
/AQDI7QVE
/janj2007
-TFP06
-EfficientInterpretationOfSAPL.pdf
:application
/pdf
}
210 @inproceedings
{domoszlai_compiling_2012
,
211 title = {Compiling
{Haskell
} to
{JavaScript
} through
{Clean
}’s core
},
212 url
= {http
://ac.inf.elte.hu
/Vol_036_2012
/117_36.pdf
},
213 urldate
= {2017-05-23},
214 booktitle = {Selected papers of
9th
{Joint
} {Conference
} on
{Mathematics
} and
{Computer
} {Science
} ({February
} 2012)},
215 author = {Domoszlai
, László and Plasmeijer
, Rinus
},
217 file
= {117_36.pdf
:/home
/mrl
/.mozilla
/firefox
/7b4r727h.default
-1470981082057/zotero
/storage
/DMQC59C4
/117_36.pdf
:application
/pdf
}
220 @article
{domoszlai_implementing_2011
,
221 title = {Implementing a non
-strict purely functional language in
{JavaScript
}},
223 url
= {https
://www.researchgate.net
/profile
/Jan_Martin_Jansen2
/publication
/230607075_Implementing_a_non
-strict_purely_functional_language_in_JavaScript
/links
/53fc40190cf22f21c2f3b28a.pdf
},
224 urldate
= {2017-05-23},
225 journal = {Acta Universitatis Sapientiae
},
226 author = {Domoszlai
, Laszlo and Bruel
, Eddy and Jansen
, Jan Martin
},
229 file
= {53fc40190cf22f21c2f3b28a.pdf
:/home
/mrl
/.mozilla
/firefox
/7b4r727h.default
-1470981082057/zotero
/storage
/2EVHREI3
/53fc40190cf22f21c2f3b28a.pdf
:application
/pdf
}
232 @inproceedings
{elliott_guilt_2015
,
233 title = {Guilt free ivory
},
235 booktitle = {{ACM
} {SIGPLAN
} {Notices
}},
237 author = {Elliott
, Trevor and Pike
, Lee and Winwood
, Simon and Hickey
, Pat and Bielman
, James and Sharp
, Jamey and Seidel
, Eric and Launchbury
, John
},
240 file
= {5678351608ae125516ee79c6.pdf
:/home
/mrl
/.mozilla
/firefox
/7b4r727h.default
-1470981082057/zotero
/storage
/KJMFUH7T
/5678351608ae125516ee79c6.pdf
:application
/pdf
}
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},
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
},
254 file
= {embedded
-experience.pdf
:/home
/mrl
/.mozilla
/firefox
/7b4r727h.default
-1470981082057/zotero
/storage
/7IHBGC8H
/embedded
-experience.pdf
:application
/pdf
}