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
{serrano_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 editor = {Serrano
, Manuel and Hage
, Jurriaan
},
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
}