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
,
35 type = {Master's Thesis
},
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
},
46 @incollection
{achten_introduction_2015
,
47 title = {An
{Introduction
} to
{Task
} {Oriented
} {Programming
}},
48 booktitle = {Central
{European
} {Functional
} {Programming
} {School
}},
49 publisher = {Springer
},
50 author = {Achten
, Peter and Koopman
, Pieter and Plasmeijer
, Rinus
},
53 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}
56 @book
{lijnse_top_2013
,
57 address = {S.l.
; Nijmegen
},
58 title = {{TOP
} to the rescue
: task
-oriented programming for incident response applications
},
59 isbn
= {978-90-820259-0-3},
60 shorttitle
= {{TOP
} to the rescue
},
62 publisher = {s.n.
; UB Nijmegen
},
63 author = {Lijnse
, Bas
},
65 note = {OCLC
: 833851220},
66 file
= {103931.pdf
:/home
/mrl
/.mozilla
/firefox
/a614qfce.default
/zotero
/storage
/9KZ9I6N9
/103931.pdf
:application
/pdf
}
69 @inproceedings
{pike_programming_2014
,
70 title = {Programming languages for high
-assurance autonomous vehicles
: extended
abstract},
71 isbn
= {978-1-4503-2567-7},
72 shorttitle
= {Programming languages for high
-assurance autonomous vehicles
},
73 url
= {http
://dl.acm.org
/citation.cfm?doid
=2541568.2541570},
74 doi
= {10.1145/2541568.2541570},
76 urldate
= {2017-05-10},
77 publisher = {ACM Press
},
78 author = {Pike
, Lee and Hickey
, Patrick and Bielman
, James and Elliott
, Trevor and DuBuisson
, Thomas and Launchbury
, John
},
81 file
= {pike
-plpv14.pdf
:/home
/mrl
/.mozilla
/firefox
/a614qfce.default
/zotero
/storage
/MTUSHBNF
/pike
-plpv14.pdf
:application
/pdf
}
84 @inproceedings
{brus_cleanlanguage_1987
,
85 title = {Clean—a language for functional graph rewriting
},
86 url
= {http
://link.springer.com
/chapter/10.1007/3-540-18317-5_20
},
87 urldate
= {2017-02-24},
88 booktitle = {Conference on
{Functional
} {Programming
} {Languages
} and
{Computer
} {Architecture
}},
89 publisher = {Springer
},
90 author = {Brus
, T. H. and van Eekelen
, Marko CJD and Van Leer
, M. O. and Plasmeijer
, Marinus J.
},
93 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}
96 @incollection
{havelund_practical_2015
,
98 series = {Lecture
{Notes
} in
{Computer
} {Science
}},
99 title = {Practical
{Formal
} {Verification
} of
{Domain
}-{Specific
} {Language
} {Applications
}},
101 isbn
= {978-3-319-17523-2 978-3-319-17524-9},
102 url
= {http
://link.springer.com
/10.1007/978-3-319-17524-9},
103 urldate
= {2017-05-10},
104 booktitle = {{NASA
} {Formal
} {Methods
}},
105 publisher = {Springer International Publishing
},
106 editor = {Havelund
, Klaus and Holzmann
, Gerard and Joshi
, Rajeev
},
108 note = {DOI
: 10.1007/978-3-319-17524-9},
109 file
= {mart_paper.pdf
:/home
/mrl
/.mozilla
/firefox
/a614qfce.default
/zotero
/storage
/5SXR59GR
/mart_paper.pdf
:application
/pdf
}
112 @incollection
{plasmeijer_shallow_2016
,
114 series = {Lecture
{Notes
} in
{Computer
} {Science
}},
115 title = {A
{Shallow
} {Embedded
} {Type
} {Safe
} {Extendable
} {DSL
} for the
{Arduino
}},
117 isbn
= {978-3-319-39109-0 978-3-319-39110-6},
118 url
= {http
://link.springer.com
/10.1007/978-3-319-39110-6},
119 urldate
= {2017-02-22},
120 booktitle = {Trends in
{Functional
} {Programming
}},
121 publisher = {Springer International Publishing
},
122 author = {Plasmeijer
, Rinus and Koopman
, Pieter
},
124 note = {DOI
: 10.1007/978-3-319-39110-6},
125 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}
128 @techreport
{cheney_first
-class_2003
,
129 title = {First
-class phantom types
},
130 url
= {https
://ecommons.cornell.edu
/handle
/1813/5614},
131 urldate
= {2017-05-15},
132 institution = {Cornell University
},
133 author = {Cheney
, James and Hinze
, Ralf
},
135 file
= {https\
://ecommons.cornell.edu
/bitstream
/handle
/1813/5614/?sequence
=1:/home
/mrl
/.mozilla
/firefox
/a614qfce.default
/zotero
/storage
/R5IFMHTP
/5614.pdf
:application
/pdf
}
138 @inproceedings
{cheney_lightweight_2002
,
139 title = {A lightweight implementation of generics and dynamics
},
140 url
= {http
://dl.acm.org
/citation.cfm?id
=581698},
141 urldate
= {2017-05-15},
142 booktitle = {Proceedings of the
2002 {ACM
} {SIGPLAN
} workshop on
{Haskell
}},
144 author = {Cheney
, James and Hinze
, Ralf
},
147 file
= {HW02.pdf
:/home
/mrl
/.mozilla
/firefox
/a614qfce.default
/zotero
/storage
/A8Z49NK6
/HW02.pdf
:application
/pdf
}
150 @article
{domoszlai_implementing_2011
,
151 title = {Implementing a non
-strict purely functional language in
{JavaScript
}},
153 url
= {https
://www.researchgate.net
/profile
/Jan_Martin_Jansen2
/publication
/230607075_Implementing_a_non
-strict_purely_functional_language_in_JavaScript
/links
/53fc40190cf22f21c2f3b28a.pdf
},
154 urldate
= {2017-05-23},
155 journal = {Acta Universitatis Sapientiae
},
156 author = {Domoszlai
, Laszlo and Bruel
, Eddy and Jansen
, Jan Martin
},
159 file
= {53fc40190cf22f21c2f3b28a.pdf
:/home
/mrl
/.mozilla
/firefox
/a614qfce.default
/zotero
/storage
/2EVHREI3
/53fc40190cf22f21c2f3b28a.pdf
:application
/pdf
}
162 @inproceedings
{domoszlai_compiling_2012
,
163 title = {Compiling
{Haskell
} to
{JavaScript
} through
{Clean
}'s core
},
164 url
= {http
://ac.inf.elte.hu
/Vol_036_2012
/117_36.pdf
},
165 urldate
= {2017-05-23},
166 booktitle = {Selected papers of
9th
{Joint
} {Conference
} on
{Mathematics
} and
{Computer
} {Science
} ({February
} 2012)},
167 author = {Domoszlai
, László and Plasmeijer
, Rinus
},
169 file
= {117_36.pdf
:/home
/mrl
/.mozilla
/firefox
/a614qfce.default
/zotero
/storage
/DMQC59C4
/117_36.pdf
:application
/pdf
}
172 @article
{plasmeijer_itasks
:_2007
,
173 title = {{iTasks
}: executable specifications of interactive work flow systems for the web
},
176 journal = {ACM SIGPLAN Notices
},
177 author = {Plasmeijer
, Rinus and Achten
, Peter and Koopman
, Pieter
},
180 file
= {plar2007
-ICFP07
-iTasks.pdf
:/home
/mrl
/.mozilla
/firefox
/a614qfce.default
/zotero
/storage
/N8EUZP7D
/plar2007
-ICFP07
-iTasks.pdf
:application
/pdf
}
183 @misc
{noauthor_harduino_nodate
,
184 title = {{hArduino
} by
{LeventErkok
}.
},
185 url
= {https
://leventerkok.github.io
/hArduino
/},
186 howpublished = {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 howpublished = {\url
{http
://www.arduino.org
/}},
240 urldate
= {2017-05-23},
241 file
= {Arduino
- Open Source Products for Electronic Projects
:/home
/mrl
/.mozilla
/firefox
/a614qfce.default
/zotero
/storage
/FPPFH7D2
/www.arduino.org.html
:text
/html
}
244 @inproceedings
{hickey_building_2014
,
245 title = {Building embedded systems with embedded
{DSLs
}},
246 isbn
= {978-1-4503-2873-9},
247 url
= {http
://dl.acm.org
/citation.cfm?doid
=2628136.2628146},
248 doi
= {10.1145/2628136.2628146},
250 urldate
= {2017-05-23},
251 publisher = {ACM Press
},
252 author = {Hickey
, Patrick C. and Pike
, Lee and Elliott
, Trevor and Bielman
, James and Launchbury
, John
},
255 file
= {embedded
-experience.pdf
:/home
/mrl
/.mozilla
/firefox
/a614qfce.default
/zotero
/storage
/7IHBGC8H
/embedded
-experience.pdf
:application
/pdf
}
258 @inproceedings
{domoszlai_parametric_2014
,
259 title = {Parametric lenses
: change notification for bidirectional lenses
},
260 shorttitle
= {Parametric lenses
},
261 url
= {http
://dl.acm.org
/citation.cfm?id
=2746333},
262 urldate
= {2017-05-29},
263 booktitle = {Proceedings of the
26nd
2014 {International
} {Symposium
} on
{Implementation
} and
{Application
} of
{Functional
} {Languages
}},
265 author = {Domoszlai
, László and Lijnse
, Bas and Plasmeijer
, Rinus
},
268 file
= {ifl2014_submission_20.pdf
:/home
/mrl
/.mozilla
/firefox
/a614qfce.default
/zotero
/storage
/3WI8PI5D
/ifl2014_submission_20.pdf
:application
/pdf
}