<reponame>matheusamazonas/masterthesis
@thesis{
martthesis,
author={<NAME>},
title={Task Oriented Programming and the Internet of Things},
institution={Radboud University},
location={Nijmegen},
type={Master's thesis},
year={2017}
}

@inproceedings{
 parametric,
 author = {<NAME>\'{a}szl\'{o} and <NAME> and Plasmeijer, Rinus},
 title = {Parametric Lenses: Change Notification for Bidirectional Lenses},
 booktitle = {Proceedings of the 26nd 2014 International Symposium on Implementation and Application of Functional Languages},
 series = {IFL '14},
 year = {2014},
 %isbn = {978-1-4503-3284-2},
 %location = {Boston, MA, USA},
 pages = {9:1--9:11},
 articleno = {9},
 %numpages = {11},
 %url = {http://doi.acm.org/10.1145/2746325.2746333},
 %doi = {10.1145/2746325.2746333},
 %acmid = {2746333},
 publisher = {ACM},
 %address = {New York, NY, USA},
 keywords = {Bi-directional programming, lenses, notification systems, parametric lenses, parametric views},
} 

@InProceedings{
mtasks,
author="<NAME>
and <NAME>",
editor="<NAME>
and <NAME>",
title="A Shallow Embedded Type Safe Extendable DSL for the Arduino",
booktitle="Trends in Functional Programming",
series = {TFP 2015},
year="2016",
publisher="Springer International Publishing",
address="Cham, Switzerland",
pages="104--123",
%isbn="978-3-319-39110-6"
}

@Inbook{
top,
author="<NAME>
and Koopman, Pieter
and Plasmeijer, Rinus",
editor="Zs{\'o}k, Vikt{\'o}ria
and Horv{\'a}th, Zolt{\'a}n
and Csat{\'o}, Lehel",
title="An Introduction to Task Oriented Programming",
bookTitle="Central European Functional Programming School: 5th Summer School, CEFP 2013, Cluj-Napoca, Romania, July 8-20, 2013, Revised Selected Papers",
year="2015",
publisher="Springer International Publishing",
address="Cham, Switzerland",
pages="187--245",
%isbn="978-3-319-15940-9",
%doi="10.1007/978-3-319-15940-9_5",
%url="https://doi.org/10.1007/978-3-319-15940-9_5"
}

@inproceedings{
 micro,
 author = {<NAME> Lubbers, <NAME> Plasmeijer, Rinus},
 title = {A Task-Based DSL for Microcomputers},
 booktitle = {Proceedings of the Real World Domain Specific Languages Workshop 2018},
 %series = {RWDSL2018},
 year = {2018},
 %isbn = {978-1-4503-6355-6},
 location = {Vienna, Austria},
 pages = {4:1--4:11},
 articleno = {4},
 numpages = {11},
 %url = {http://doi.acm.org/10.1145/3183895.3183902},
 %doi = {10.1145/3183895.3183902},
 %acmid = {3183902},
 publisher = {ACM},
 %address = {New York, NY, USA},
} 

@InProceedings{
haskino,
author="<NAME>
and Gill, Andy",
editor="<NAME>
and Reppy, John",
title="Haskino: A Remote Monad for Programming the Arduino",
booktitle="Practical Aspects of Declarative Languages",
year="2016",
publisher="Springer International Publishing",
address="Cham, Switzerland",
pages="153--168",
%isbn="978-3-319-28228-2"
}

@article{
survey,
title = "A survey on Internet of Things architectures",
journal = "Journal of King Saud University - Computer and Information Sciences",
year = "2016",
%issn = "1319-1578",
%doi = "https://doi.org/10.1016/j.jksuci.2016.10.003",
%url = "http://www.sciencedirect.com/science/article/pii/S1319157816300799",
author = "<NAME>",
keywords = "Internet of Things (IoT), Architecture, Cyber physical system"
}

@article{
 ivory1,
 author = {Hickey, <NAME>. and Pike, Lee and Elliott, Trevor and <NAME> and <NAME>},
 title = {Building Embedded Systems with Embedded DSLs},
 journal = {SIGPLAN Not.},
 issue_date = {September 2014},
 volume = {49},
 number = {9},
 month = aug,
 year = {2014},
 %issn = {0362-1340},
 pages = {3--9},
 numpages = {7},
 %url = {http://doi.acm.org/10.1145/2692915.2628146},
 %doi = {10.1145/2692915.2628146},
 %acmid = {2628146},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {embedded domain specific languages, embedded systems},
} 

@InProceedings{
clean,
author="<NAME>.
and <NAME>, <NAME>.
and <NAME>, <NAME>.
and <NAME>.",
editor="<NAME>",
title="Clean --- A language for functional graph rewriting",
booktitle="Functional Programming Languages and Computer Architecture",
year="1987",
publisher="Springer",
address="Berlin, Heidelberg",
pages="364--384"
%isbn="978-3-540-47879-9"
}

@inproceedings{
 top_fl,
 author = {Plasmeijer, <NAME> <NAME> <NAME> <NAME>},
 title = {Task-oriented Programming in a Pure Functional Language},
 booktitle = {Proceedings of the 14th Symposium on Principles and Practice of Declarative Programming},
 %series = {PPDP '12},
 year = {2012},
 %isbn = {978-1-4503-1522-7},
 location = {Leuven, Belgium},
 pages = {195--206},
 numpages = {12},
 %url = {http://doi.acm.org/10.1145/2370776.2370801},
 %doi = {10.1145/2370776.2370801},
 %acmid = {2370801},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {clean, task-oriented programming},
} 

%@unpublished{
%mtasks2,
%author="<NAME>
%and Plasmeijer, Rinus",
%title="Type-Safe Functions and Tasks in a Shallow Embedded DSL for Microprocessors"
%}

@article{
 tagless,
 author = {<NAME> and Kiselyov, Oleg and <NAME>},
 title = {Finally Tagless, Partially Evaluated: Tagless Staged Interpreters for Simpler Typed Languages},
 journal = {Journal of Functional Programming},
 issue_date = {September 2009},
 volume = {19},
 number = {5},
 month = sep,
 year = {2009},
 %issn = {0956-7968},
 pages = {509--543},
 numpages = {35},
 %url = {http://dx.doi.org/10.1017/S0956796809007205},
 %doi = {10.1017/S0956796809007205},
 %acmid = {1630626},
 publisher = {Cambridge University Press},
 address = {New York, NY, USA},
} 

@inproceedings{
 phantom,
 author = {<NAME> and <NAME>},
 title = {Domain Specific Embedded Compilers},
 booktitle = {Proceedings of the 2Nd Conference on Domain-specific Languages},
 series = {DSL '99},
 year = {1999},
 %isbn = {1-58113-255-7},
 location = {Austin, Texas, USA},
 pages = {109--122},
 numpages = {14},
 %url = {http://doi.acm.org/10.1145/331960.331977},
 %doi = {10.1145/331960.331977},
 %acmid = {331977},
 publisher = {ACM},
 address = {New York, NY, USA},
}

@TECHREPORT{
gadts,
author = {<NAME> and <NAME>},
title = {First-class phantom types},
institution = {Cornell University},
year = {2003}
}

@article{
 lenses,
 author = {<NAME> Greenwald, <NAME>. and Moore, <NAME>. and Pierce, <NAME>. and Schmitt, Alan},
 title = {Combinators for Bidirectional Tree Transformations: A Linguistic Approach to the View-update Problem},
 journal = {ACM Trans. Program. Lang. Syst.},
 issue_date = {May 2007},
 volume = {29},
 number = {3},
 month = may,
 year = {2007},
 %issn = {0164-0925},
 articleno = {17},
 %url = {http://doi.acm.org/10.1145/1232420.1232424},
 %doi = {10.1145/1232420.1232424},
 %acmid = {1232424},
 publisher = {ACM},
 address = {New York, NY, USA},
 %keywords = {Bidirectional programming, Harmony, XML, lenses, view update problem},
} 

@inproceedings{
 ivory2,
 author = {<NAME> Pike, <NAME> Winwood, <NAME> <NAME> and <NAME> and Seidel, Eric and <NAME>},
 title = {Guilt Free Ivory},
 booktitle = {Proceedings of the 2015 ACM SIGPLAN Symposium on Haskell},
 series = {Haskell '15},
 year = {2015},
 isbn = {978-1-4503-3808-0},
 location = {Vancouver, BC, Canada},
 pages = {189--200},
 numpages = {12},
 %url = {http://doi.acm.org/10.1145/2804302.2804318},
 %doi = {10.1145/2804302.2804318},
 %acmid = {2804318},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {Embedded Domain Specific Languages, Embedded Systems},
} 

@online{
 iot_numbers,
 title={Gartner Says 8.4 Billion Connected "Things" Will Be in Use in 2017, Up 31 Percent From 2016},
 year={2017},
 url={https://www.gartner.com/en/newsroom/press-releases/2017-02-07-gartner-says-8-billion-connected-things-will-be-in-use-in-2017-up-31-percent-from-2016},
 urldate={2018-08-04}
}

@online{
 arduino,
 title={Arduino - Home},
 url={https://www.arduino.cc},
 urldate={2018-08-06}
}


@inproceedings{
 incidone,
 author = {<NAME> <NAME> Plasmeijer, Rinus},
 title = {Incidone: A Task-Oriented Incident Coordination Tool},
 booktitle = {Proceedings of the 9th International Conference on Information Systems for Crisis Response and Management},
 series = {ISCRAM'12},
 year = {2012},
 publisher = {Simon Fraser University},
 address = {Vancouver, BC, Canada}
 %isbn = {9780864913326}
} 

@InProceedings{
navy,
author="<NAME>, Jurriaan
and <NAME>
and <NAME>
and <NAME>
and <NAME>",
editor="{\'{S}}l\c{e}zak, Dominik
and Schaefer, Gerald
and Vuong, <NAME>.
and <NAME>",
title="Using Process-Oriented Interfaces for Solving the Automation Paradox in Highly Automated Navy Vessels",
booktitle="Active Media Technology",
year="2014",
publisher="Springer International Publishing",
address="Cham, Switzerland",
pages="442--452"
%isbn="978-3-319-09912-5"
}

@inproceedings{
 distributed,
 author = {<NAME>, Rinus},
 title = {A Distributed Dynamic Architecture for Task Oriented Programming},
 booktitle = {Proceedings of the 29th Symposium on the Implementation and Application of Functional Programming Languages},
 series = {IFL 2017},
 year = {2017},
 %isbn = {978-1-4503-6343-3},
 location = {Bristol, United Kingdom},
 pages = {7:1--7:12},
 articleno = {7},
 numpages = {12},
 %url = {http://doi.acm.org/10.1145/3205368.3205375},
 %doi = {10.1145/3205368.3205375},
 %acmid = {3205375},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {Clean, Client-Server Architecture, Distributed Applications, Functional Programming, Haskell, Platform Independent Code Generation, Pure Functional Languages, Task-Oriented Programming, Web Programming},
} 

@article{
survey2,
title = "Internet of things: Vision, applications and research challenges",
journal = "Ad Hoc Networks",
volume = "10",
number = "7",
pages = "1497 - 1516",
year = "2012",
%issn = "1570-8705",
%doi = "https://doi.org/10.1016/j.adhoc.2012.02.016",
%url = "http://www.sciencedirect.com/science/article/pii/S1570870512000674",
author = "<NAME> and <NAME> and <NAME> and <NAME>"
%keywords = "Internet-of-Things, Web, Smart objects, RFID, Sensors, Actuators, Interoperability, Security"
}

@article{survey3,
title = "SmartSantander: IoT experimentation over a smart city testbed",
journal = "Computer Networks",
volume = "61",
pages = "217 - 238",
year = "2014",
%note = "Special issue on Future Internet Testbeds – Part I",
%issn = "1389-1286",
%doi = "https://doi.org/10.1016/j.bjp.2013.12.020",
%url = "http://www.sciencedirect.com/science/article/pii/S1389128613004337",
author = "<NAME> and <NAME> and <NAME> and <NAME> and <NAME> and <NAME> and <NAME> and <NAME> and <NAME> and <NAME> and <NAME>"
%keywords = "Internet of Things, Experimentation, Research, Smart city, Testbed"
}

