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
},
10 file
= {IOT industrial survey.pdf
:/home
/mrl
/.mozilla
/firefox
/a614qfce.default
/zotero
/storage
/EJHG7M8I
/IOT industrial survey.pdf
:application
/pdf
}
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
},
22 file
= {svenningsson2013combining.pdf
:/home
/mrl
/.mozilla
/firefox
/a614qfce.default
/zotero
/storage
/NFBGZCZT
/svenningsson2013combining.pdf
:application
/pdf
}
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
}
33 @phdthesis
{oortgiese_distributed_2017
,
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
},
40 urldate
= {2017-04-08},
41 school = {Radboud University
},
42 author = {Oortgiese
, Arjan
},
44 file
= {arjan_oortgiese.pdf
:/home
/mrl
/.mozilla
/firefox
/a614qfce.default
/zotero
/storage
/J4WXQXU4
/arjan_oortgiese.pdf
:application
/pdf
}
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
},
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}
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
},
63 publisher = {s.n.
] ; UB Nijmegen
[host
},
64 author = {Lijnse
, Bas
},
66 note = {OCLC
: 833851220},
67 file
= {103931.pdf
:/home
/mrl
/.mozilla
/firefox
/a614qfce.default
/zotero
/storage
/9KZ9I6N9
/103931.pdf
:application
/pdf
}
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},
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
},
82 file
= {pike
-plpv14.pdf
:/home
/mrl
/.mozilla
/firefox
/a614qfce.default
/zotero
/storage
/MTUSHBNF
/pike
-plpv14.pdf
:application
/pdf
}
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.
},
94 file
= {Clean
—\
; 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}
97 @incollection
{havelund_practical_2015
,
99 series = {Lecture
{Notes
} in
{Computer
} {Science
}},
100 title = {Practical
{Formal
} {Verification
} of
{Domain
}-{Specific
} {Language
} {Applications
}},
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
},
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
}
113 @incollection
{plasmeijer_shallow_2016
,
115 series = {Lecture
{Notes
} in
{Computer
} {Science
}},
116 title = {A
{Shallow
} {Embedded
} {Type
} {Safe
} {Extendable
} {DSL
} for the
{Arduino
}},
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 author = {Plasmeijer
, Rinus and Koopman
, Pieter
},
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}
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
/a614qfce.default
/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
/a614qfce.default
/zotero
/storage
/A8Z49NK6
/HW02.pdf
:application
/pdf
}
151 @article
{domoszlai_implementing_2011
,
152 title = {Implementing a non
-strict purely functional language in
{JavaScript
}},
154 url
= {https
://www.researchgate.net
/profile
/Jan_Martin_Jansen2
/publication
/230607075_Implementing_a_non
-strict_purely_functional_language_in_JavaScript
/links
/53fc40190cf22f21c2f3b28a.pdf
},
155 urldate
= {2017-05-23},
156 journal = {Acta Universitatis Sapientiae
},
157 author = {Domoszlai
, Laszlo and Bruel
, Eddy and Jansen
, Jan Martin
},
160 file
= {53fc40190cf22f21c2f3b28a.pdf
:/home
/mrl
/.mozilla
/firefox
/a614qfce.default
/zotero
/storage
/2EVHREI3
/53fc40190cf22f21c2f3b28a.pdf
:application
/pdf
}
163 @inproceedings
{domoszlai_compiling_2012
,
164 title = {Compiling
{Haskell
} to
{JavaScript
} through
{Clean
}’s core
},
165 url
= {http
://ac.inf.elte.hu
/Vol_036_2012
/117_36.pdf
},
166 urldate
= {2017-05-23},
167 booktitle = {Selected papers of
9th
{Joint
} {Conference
} on
{Mathematics
} and
{Computer
} {Science
} ({February
} 2012)},
168 author = {Domoszlai
, László and Plasmeijer
, Rinus
},
170 file
= {117_36.pdf
:/home
/mrl
/.mozilla
/firefox
/a614qfce.default
/zotero
/storage
/DMQC59C4
/117_36.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
/a614qfce.default
/zotero
/storage
/N8EUZP7D
/plar2007
-ICFP07
-iTasks.pdf
:application
/pdf
}
184 @misc
{noauthor_harduino_nodate
,
185 title = {{hArduino
} by
{LeventErkok
}},
186 url
= {https
://leventerkok.github.io
/hArduino
/},
187 urldate
= {2017-05-23},
188 file
= {hArduino by LeventErkok
:/home
/mrl
/.mozilla
/firefox
/a614qfce.default
/zotero
/storage
/JUDWSMV9
/hArduino.html
:text
/html
}
191 @inproceedings
{elliott_guilt_2015
,
192 title = {Guilt free ivory
},
194 booktitle = {{ACM
} {SIGPLAN
} {Notices
}},
196 author = {Elliott
, Trevor and Pike
, Lee and Winwood
, Simon and Hickey
, Pat and Bielman
, James and Sharp
, Jamey and Seidel
, Eric and Launchbury
, John
},
199 file
= {5678351608ae125516ee79c6.pdf
:/home
/mrl
/.mozilla
/firefox
/a614qfce.default
/zotero
/storage
/KJMFUH7T
/5678351608ae125516ee79c6.pdf
:application
/pdf
}
202 @article
{riazul_islam_internet_2015
,
203 title = {The
{Internet
} of
{Things
} for
{Health
} {Care
}: {A
} {Comprehensive
} {Survey
}},
206 shorttitle
= {The
{Internet
} of
{Things
} for
{Health
} {Care
}},
207 url
= {http
://ieeexplore.ieee.org
/document
/7113786/},
208 doi
= {10.1109/ACCESS
.2015.2437951},
209 urldate
= {2017-05-23},
210 journal = {IEEE Access
},
211 author = {Riazul Islam
, S. M. and
{Daehan Kwak
} and Humaun Kabir
, Md and Hossain
, Mahmud and
{Kyung
-Sup Kwak
}},
214 file
= {07113786.pdf
:/home
/mrl
/.mozilla
/firefox
/a614qfce.default
/zotero
/storage
/7FNMPTHJ
/07113786.pdf
:application
/pdf
}
217 @article
{jansen_efficient_2007
,
218 title = {Efficient
{Interpretation
} by
{Transforming
} {Data
} {Types
} and
{Patterns
} to
{Functions
}},
220 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},
221 urldate
= {2017-05-23},
222 journal = {Trends in Functional Programming
},
223 author = {Jansen
, Jan Martin and Koopman
, Pieter and Plasmeijer
, Rinus
},
226 file
= {janj2007
-TFP06
-EfficientInterpretationOfSAPL.pdf
:/home
/mrl
/.mozilla
/firefox
/a614qfce.default
/zotero
/storage
/AQDI7QVE
/janj2007
-TFP06
-EfficientInterpretationOfSAPL.pdf
:application
/pdf
}
229 @misc
{noauthor_firmata
/protocol
:_nodate
,
230 title = {firmata
/protocol
: {Documentation
} of the
{Firmata
} protocol.
},
231 url
= {https
://github.com
/firmata
/protocol
},
232 urldate
= {2017-05-23},
233 file
= {firmata
/protocol\
: Documentation of the Firmata protocol.
:/home
/mrl
/.mozilla
/firefox
/a614qfce.default
/zotero
/storage
/98HIGKIS
/protocol.html
:text
/html
}
236 @misc
{noauthor_arduino_nodate
,
237 title = {Arduino
- {Open
} {Source
} {Products
} for
{Electronic
} {Projects
}},
238 url
= {http
://www.arduino.org
/},
239 urldate
= {2017-05-23},
240 file
= {Arduino
- Open Source Products for Electronic Projects
:/home
/mrl
/.mozilla
/firefox
/a614qfce.default
/zotero
/storage
/FPPFH7D2
/www.arduino.org.html
:text
/html
}
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
/a614qfce.default
/zotero
/storage
/7IHBGC8H
/embedded
-experience.pdf
:application
/pdf
}
257 @inproceedings
{domoszlai_parametric_2014
,
258 title = {Parametric lenses
: change notification for bidirectional lenses
},
259 shorttitle
= {Parametric lenses
},
260 url
= {http
://dl.acm.org
/citation.cfm?id
=2746333},
261 urldate
= {2017-05-29},
262 booktitle = {Proceedings of the
26nd
2014 {International
} {Symposium
} on
{Implementation
} and
{Application
} of
{Functional
} {Languages
}},
264 author = {Domoszlai
, László and Lijnse
, Bas and Plasmeijer
, Rinus
},
267 file
= {ifl2014_submission_20.pdf
:/home
/mrl
/.mozilla
/firefox
/a614qfce.default
/zotero
/storage
/3WI8PI5D
/ifl2014_submission_20.pdf
:application
/pdf
}