Programming Languages in Open Source Projects},
year = {2015},
isbn = {9781450333504},
- publisher = {Association for Computing Machinery},
+ publisher = {ACM},
address = {New York, NY, USA},
doi = {10.1145/2745802.2745805},
abstract = {Background: Anecdotal evidence suggests that software
title = {On Challenges in Engineering IoT Software Systems},
year = {2018},
isbn = {9781450365031},
- publisher = {Association for Computing Machinery},
+ publisher = {ACM},
address = {New York, NY, USA},
doi = {10.1145/3266237.3266263},
abstract = {Contemporary software systems, such as the Internet of
behind the Curtain of Lines-of-Code Metrics},
year = {2020},
isbn = {9781450381789},
- publisher = {Association for Computing Machinery},
+ publisher = {ACM},
address = {New York, NY, USA},
doi = {10.1145/3426428.3426921},
abstract = {Lines-of-code metrics (loc) are commonly reported in
title = {Towards Haskell in the Cloud},
year = {2011},
isbn = {9781450308601},
- publisher = {Association for Computing Machinery},
+ publisher = {ACM},
address = {New York, NY, USA},
doi = {10.1145/2034675.2034690},
abstract = {We present Cloud Haskell, a domain-specific language for
title = {A New Approach to Generic Functional Programming},
year = {2000},
isbn = {1581131259},
- publisher = {Association for Computing Machinery},
+ publisher = {ACM},
address = {New York, NY, USA},
doi = {10.1145/325694.325709},
abstract = {This paper describes a new approach to generic functional
Lenses},
year = {2014},
isbn = {9781450332842},
- publisher = {Association for Computing Machinery},
+ publisher = {ACM},
address = {New York, NY, USA},
doi = {10.1145/2746325.2746333},
abstract = {Most complex applications inevitably need to maintain
title = {Comparing Libraries for Generic Programming in Haskell},
year = {2008},
isbn = {9781605580647},
- publisher = {Association for Computing Machinery},
+ publisher = {ACM},
address = {New York, NY, USA},
doi = {10.1145/1411286.1411301},
abstract = {Datatype-generic programming is defining functions that
Language Interfaces},
year = {2010},
issue_date = {June 2010},
- publisher = {Association for Computing Machinery},
+ publisher = {ACM},
address = {New York, NY, USA},
volume = {45},
number = {6},
title = {Checking Type Safety of Foreign Function Calls},
year = {2005},
issue_date = {June 2005},
- publisher = {Association for Computing Machinery},
+ publisher = {ACM},
address = {New York, NY, USA},
volume = {40},
number = {6},
Web Applications},
year = {2014},
issue_date = {December 2014},
- publisher = {Association for Computing Machinery},
+ publisher = {ACM},
address = {New York, NY, USA},
volume = {49},
number = {12},
via low-energy Bluetooth on Zephyr OS.},
booktitle = {Proceedings of the 13th {ACM} {SIGPLAN} {International}
{Symposium} on {Haskell}},
- publisher = {Association for Computing Machinery},
+ publisher = {ACM},
author = {Valliappan, Nachiappan and Krook, Robert and Russo,
Alejandro and Claessen, Koen},
year = {2020},
booktitle = {Proceedings of the 22nd {International} {Symposium} on
{Principles} and {Practice} of {Declarative}
{Programming}},
- publisher = {Association for Computing Machinery},
+ publisher = {ACM},
author = {Sarkar, Abhiroop and Sheeran, Mary},
year = {2020},
note = {event-place: Bologna, Italy},
Runtime},
year = {2018},
isbn = {9781450360661},
- publisher = {Association for Computing Machinery},
+ publisher = {ACM},
address = {New York, NY, USA},
doi = {10.1145/3281366.3281370},
abstract = {Reactive programming over a network is a challenging task
{Language} for {Small}-{Scale} {Embedded} {Systems}},
isbn = {978-981-323-406-2 978-981-323-407-9},
shorttitle = {{CFRP}},
- url = {http://www.worldscientific.com/doi/abs/10.1142/9789813234079_0001},
doi = {10.1142/9789813234079_0001},
language = {en},
urldate = {2022-03-02},
booktitle = {Proceedings of the 8th {ACM} {SIGPLAN} {International}
{Workshop} on {Programming} {Based} on {Actors}, {Agents},
and {Decentralized} {Control}},
- publisher = {Association for Computing Machinery},
+ publisher = {ACM},
author = {Shibanai, Kazuhiro and Watanabe, Takuo},
year = {2018},
note = {event-place: Boston, MA, USA},
traditional dataflow languages.},
booktitle = {Proceedings of the 2002 {ACM} {SIGPLAN} {Workshop} on
{Haskell}},
- publisher = {Association for Computing Machinery},
+ publisher = {ACM},
author = {Nilsson, Henrik and Courtney, Antony and Peterson, John},
year = {2002},
note = {event-place: Pittsburgh, Pennsylvania},
Languages},
year = {2014},
isbn = {9781450332101},
- publisher = {Association for Computing Machinery},
+ publisher = {ACM},
address = {New York, NY, USA},
doi = {10.1145/2661136.2661146},
abstract = {Tierless programming languages enable developing the
title = {arduino-copilot: {Arduino} programming in haskell using
the {Copilot} stream {DSL}},
shorttitle = {arduino-copilot},
- url = {//hackage.haskell.org/package/arduino-copilot},
+ url = {https://hackage.haskell.org/package/arduino-copilot},
urldate = {2020-02-14},
journal = {Hackage},
author = {Hess, Joey},
}
@Book{ strack2015getting,
- title = {Getting Started with Meteor. js JavaScript Framework},
+ title = {Getting Started with Meteor.js JavaScript Framework},
author = {Strack, Isaac},
year = {2015},
publisher = {Packt Publishing Ltd}
title = {Measurement and {Analysis} of {Hajime}, a {Peer}-to-peer
{IoT} {Botnet}},
isbn = {1-891562-55-X},
- url = {https://par.nsf.gov/biblio/10096257},
doi = {10.14722/ndss.2019.23488},
booktitle = {Network and {Distributed} {Systems} {Security} ({NDSS})
{Symposium} 2019},
address = {Nijmegen},
type = {Bachelor's {Thesis}},
title = {Security analysis of the {iTasks} framework},
- url = {http://www.ru.nl/publish/pages/769526/arjan_oortgiese.pdf},
language = {English},
urldate = {2017-04-08},
school = {Radboud University},
Programming},
year = {2019},
isbn = {9781450372497},
- publisher = {Association for Computing Machinery},
+ publisher = {ACM},
address = {New York, NY, USA},
doi = {10.1145/3354166.3354182},
booktitle = {Proceedings of the 21st International Symposium on
repositories / phd-thesis.git / blobdiff