2 @article
{da_xu_internet_2014
,
3 title = {Internet of things in industries
: a survey
},
6 journal = {Industrial Informatics
, IEEE Transactions on
},
7 author = {Da Xu
, Li and He
, Wu and Li
, Shancang
},
12 @inproceedings
{svenningsson_combining_2012
,
13 title = {Combining deep and shallow embedding for
{EDSL
}},
14 url
= {http
://link.springer.com
/chapter/10.1007/978-3-642-40447-4_2
},
15 urldate
= {2017-05-10},
16 booktitle = {International
{Symposium
} on
{Trends
} in
{Functional
} {Programming
}},
17 publisher = {Springer
},
18 author = {Svenningsson
, Josef and Axelsson
, Emil
},
23 @article
{koopman_type
-safe_nodate
,
24 title = {Type
-{Safe
} {Functions
} and
{Tasks
} in a
{Shallow
} {Embedded
} {DSL
} for
{Microprocessors
}},
25 url
= {https
://tfp2016.org
/papers
/TFP_2016_paper_7.pdf
},
26 urldate
= {2017-02-22},
27 author = {Koopman
, Pieter and Plasmeijer
, Rinus
},
30 @phdthesis
{oortgiese_distributed_2017
,
32 type = {Master's Thesis
},
33 title = {A
{Distributed
} {Server
} {Architecture
} for
{Task
} {Oriented
} {Programming
}},
34 shorttitle
= {A
{Distributed
} {Server
} {Architecture
} for
{Task
} {Oriented
} {Programming
}},
35 url
= {http
://www.ru.nl
/publish
/pages/769526/arjan_oortgiese.pdf
},
37 urldate
= {2017-04-08},
38 school = {Radboud University
},
39 author = {Oortgiese
, Arjan
},
43 @incollection
{achten_introduction_2015
,
44 title = {An
{Introduction
} to
{Task
} {Oriented
} {Programming
}},
45 booktitle = {Central
{European
} {Functional
} {Programming
} {School
}},
46 publisher = {Springer
},
47 author = {Achten
, Peter and Koopman
, Pieter and Plasmeijer
, Rinus
},
52 @book
{lijnse_top_2013
,
53 address = {S.l.
; Nijmegen
},
54 title = {{TOP
} to the rescue
: task
-oriented programming for incident response applications
},
55 isbn
= {978-90-820259-0-3},
56 shorttitle
= {{TOP
} to the rescue
},
58 publisher = {s.n.
; UB Nijmegen
},
59 author = {Lijnse
, Bas
},
61 note = {OCLC
: 833851220},
64 @inproceedings
{pike_programming_2014
,
65 title = {Programming languages for high
-assurance autonomous vehicles
: extended
abstract},
66 isbn
= {978-1-4503-2567-7},
67 shorttitle
= {Programming languages for high
-assurance autonomous vehicles
},
68 url
= {http
://dl.acm.org
/citation.cfm?doid
=2541568.2541570},
69 doi
= {10.1145/2541568.2541570},
71 urldate
= {2017-05-10},
72 publisher = {ACM Press
},
73 author = {Pike
, Lee and Hickey
, Patrick and Bielman
, James and Elliott
, Trevor and DuBuisson
, Thomas and Launchbury
, John
},
78 @inproceedings
{brus_cleanlanguage_1987
,
79 title = {Clean—a language for functional graph rewriting
},
80 url
= {http
://link.springer.com
/chapter/10.1007/3-540-18317-5_20
},
81 urldate
= {2017-02-24},
82 booktitle = {Conference on
{Functional
} {Programming
} {Languages
} and
{Computer
} {Architecture
}},
83 publisher = {Springer
},
84 author = {Brus
, T. H. and van Eekelen
, Marko CJD and Van Leer
, M. O. and Plasmeijer
, Marinus J.
},
89 @incollection
{havelund_practical_2015
,
91 series = {Lecture
{Notes
} in
{Computer
} {Science
}},
92 title = {Practical
{Formal
} {Verification
} of
{Domain
}-{Specific
} {Language
} {Applications
}},
94 isbn
= {978-3-319-17523-2 978-3-319-17524-9},
95 url
= {http
://link.springer.com
/10.1007/978-3-319-17524-9},
96 urldate
= {2017-05-10},
97 booktitle = {{NASA
} {Formal
} {Methods
}},
98 publisher = {Springer International Publishing
},
99 editor = {Havelund
, Klaus and Holzmann
, Gerard and Joshi
, Rajeev
},
101 note = {DOI
: 10.1007/978-3-319-17524-9},
104 @incollection
{plasmeijer_shallow_2016
,
106 series = {Lecture
{Notes
} in
{Computer
} {Science
}},
107 title = {A
{Shallow
} {Embedded
} {Type
} {Safe
} {Extendable
} {DSL
} for the
{Arduino
}},
109 isbn
= {978-3-319-39109-0 978-3-319-39110-6},
110 url
= {http
://link.springer.com
/10.1007/978-3-319-39110-6},
111 urldate
= {2017-02-22},
112 booktitle = {Trends in
{Functional
} {Programming
}},
113 publisher = {Springer International Publishing
},
114 author = {Plasmeijer
, Rinus and Koopman
, Pieter
},
116 note = {DOI
: 10.1007/978-3-319-39110-6},
119 @techreport
{cheney_first
-class_2003
,
120 title = {First
-class phantom types
},
121 url
= {https
://ecommons.cornell.edu
/handle
/1813/5614},
122 urldate
= {2017-05-15},
123 institution = {Cornell University
},
124 author = {Cheney
, James and Hinze
, Ralf
},
128 @inproceedings
{cheney_lightweight_2002
,
129 title = {A lightweight implementation of generics and dynamics
},
130 url
= {http
://dl.acm.org
/citation.cfm?id
=581698},
131 urldate
= {2017-05-15},
132 booktitle = {Proceedings of the
2002 {ACM
} {SIGPLAN
} workshop on
{Haskell
}},
134 author = {Cheney
, James and Hinze
, Ralf
},
139 @article
{domoszlai_implementing_2011
,
140 title = {Implementing a non
-strict purely functional language in
{JavaScript
}},
142 url
= {https
://www.researchgate.net
/profile
/Jan_Martin_Jansen2
/publication
/230607075_Implementing_a_non
-strict_purely_functional_language_in_JavaScript
/links
/53fc40190cf22f21c2f3b28a.pdf
},
143 urldate
= {2017-05-23},
144 journal = {Acta Universitatis Sapientiae
},
145 author = {Domoszlai
, Laszlo and Bruel
, Eddy and Jansen
, Jan Martin
},
150 @inproceedings
{domoszlai_compiling_2012
,
151 title = {Compiling
{Haskell
} to
{JavaScript
} through
{Clean
}'s core
},
152 url
= {http
://ac.inf.elte.hu
/Vol_036_2012
/117_36.pdf
},
153 urldate
= {2017-05-23},
154 booktitle = {Selected papers of
9th
{Joint
} {Conference
} on
{Mathematics
} and
{Computer
} {Science
} ({February
} 2012)},
155 author = {Domoszlai
, László and Plasmeijer
, Rinus
},
159 @article
{plasmeijer_itasks
:_2007
,
160 title = {{iTasks
}: executable specifications of interactive work flow systems for the web
},
163 journal = {ACM SIGPLAN Notices
},
164 author = {Plasmeijer
, Rinus and Achten
, Peter and Koopman
, Pieter
},
169 @misc
{noauthor_harduino_nodate
,
170 title = {{hArduino
} by
{LeventErkok
}.
},
171 url
= {https
://leventerkok.github.io
/hArduino
/},
172 howpublished = {https
://leventerkok.github.io
/hArduino
/},
173 urldate
= {2017-05-23},
176 @inproceedings
{elliott_guilt_2015
,
177 title = {Guilt free ivory
},
179 booktitle = {{ACM
} {SIGPLAN
} {Notices
}},
181 author = {Elliott
, Trevor and Pike
, Lee and Winwood
, Simon and Hickey
, Pat and Bielman
, James and Sharp
, Jamey and Seidel
, Eric and Launchbury
, John
},
186 @article
{riazul_islam_internet_2015
,
187 title = {The
{Internet
} of
{Things
} for
{Health
} {Care
}: {A
} {Comprehensive
} {Survey
}},
190 shorttitle
= {The
{Internet
} of
{Things
} for
{Health
} {Care
}},
191 url
= {http
://ieeexplore.ieee.org
/document
/7113786/},
192 doi
= {10.1109/ACCESS
.2015.2437951},
193 urldate
= {2017-05-23},
194 journal = {IEEE Access
},
195 author = {Riazul Islam
, S. M. and
{Daehan Kwak
} and Humaun Kabir
, Md and Hossain
, Mahmud and
{Kyung
-Sup Kwak
}},
200 @article
{jansen_efficient_2007
,
201 title = {Efficient
{Interpretation
} by
{Transforming
} {Data
} {Types
} and
{Patterns
} to
{Functions
}},
203 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},
204 urldate
= {2017-05-23},
205 journal = {Trends in Functional Programming
},
206 author = {Jansen
, Jan Martin and Koopman
, Pieter and Plasmeijer
, Rinus
},
211 @misc
{noauthor_firmata
/protocol
:_nodate
,
212 title = {firmata
/protocol
: {Documentation
} of the
{Firmata
} protocol.
},
213 url
= {https
://github.com
/firmata
/protocol
},
214 urldate
= {2017-05-23},
217 @misc
{noauthor_arduino_nodate
,
218 title = {Arduino
- {Open
} {Source
} {Products
} for
{Electronic
} {Projects
}},
219 url
= {http
://www.arduino.org
/},
220 howpublished = {\url
{http
://www.arduino.org
/}},
221 urldate
= {2017-05-23},
224 @inproceedings
{hickey_building_2014
,
225 title = {Building embedded systems with embedded
{DSLs
}},
226 isbn
= {978-1-4503-2873-9},
227 url
= {http
://dl.acm.org
/citation.cfm?doid
=2628136.2628146},
228 doi
= {10.1145/2628136.2628146},
230 urldate
= {2017-05-23},
231 publisher = {ACM Press
},
232 author = {Hickey
, Patrick C. and Pike
, Lee and Elliott
, Trevor and Bielman
, James and Launchbury
, John
},
237 @inproceedings
{domoszlai_parametric_2014
,
238 title = {Parametric lenses
: change notification for bidirectional lenses
},
239 shorttitle
= {Parametric lenses
},
240 url
= {http
://dl.acm.org
/citation.cfm?id
=2746333},
241 urldate
= {2017-05-29},
242 booktitle = {Proceedings of the
26nd
2014 {International
} {Symposium
} on
{Implementation
} and
{Application
} of
{Functional
} {Languages
}},
244 author = {Domoszlai
, László and Lijnse
, Bas and Plasmeijer
, Rinus
},