many smalle updates

[phd-thesis.git] / tiot.bib

diff --git a/tiot.bib b/tiot.bib
index f14060f..7d375e7 100644 (file)
--- a/tiot.bib
+++ b/tiot.bib
@@ -103,31 +103,6 @@ lastaccessed ={April 1, 2016},
        file = {Levis and Culler - Matd A Tiny Virtual Machine for Sensor Networks.pdf:/home/mrl/.local/share/zotero/storage/RMPGY9NI/Levis and Culler - Matd A Tiny Virtual Machine for Sensor Networks.pdf:application/pdf}
 }
 
-@inproceedings{grebe_threading_2019,
-       address = {Cham},
-       title = {Threading the {Arduino} with {Haskell}},
-       isbn = {978-3-030-14805-8},
-       abstract = {Programming embedded microcontrollers often requires the scheduling of independent threads of execution, specifying the interaction and sequencing of actions in the multiple threads. Developing and debugging such multi-threaded systems can be especially challenging in highly resource constrained systems such as the Arduino line of microcontroller boards. The Haskino library, developed at the University of Kansas, allows programmers to develop code for Arduino-based microcontrollers using monadic Haskell program fragments. This paper describes our efforts to extend the Haskino library to translate monadic Haskell code to multi-threaded code executing on Arduino boards.},
-       booktitle = {Trends in {Functional} {Programming}},
-       publisher = {Springer},
-       author = {Grebe, Mark and Gill, Andy},
-       editor = {Van Horn, David and Hughes, John},
-       year = {2019},
-       pages = {135--154},
-       file = {Grebe and Gill - Threading the Arduino with Haskell.pdf:/home/mrl/.local/share/zotero/storage/DW5PS9ZA/Grebe and Gill - Threading the Arduino with Haskell.pdf:application/pdf}
-}
-
-@inproceedings{grebe_haskino_2016,
-       title = {Haskino: {A} remote monad for programming the arduino},
-       shorttitle = {Haskino},
-       booktitle = {International {Symposium} on {Practical} {Aspects} of {Declarative} {Languages}},
-       publisher = {Springer},
-       author = {Grebe, Mark and Gill, Andy},
-       year = {2016},
-       pages = {153--168},
-       file = {Grebe-16-Haskino.pdf:/home/mrl/.local/share/zotero/storage/ABG7TTLV/Grebe-16-Haskino.pdf:application/pdf}
-}
-
 @inproceedings{gill_remote_2015,
 author = {Gill, Andy and Sculthorpe, Neil and Dawson, Justin and Eskilson, Aleksander and Farmer, Andrew and Grebe, Mark and Rosenbluth, Jeffrey and Scott, Ryan and Stanton, James},
 title = {The Remote Monad Design Pattern},
@@ -991,53 +966,6 @@ keywords = {foreign function calls, multi-lingual type system, OCaml, multi-ling
   organization={IEEE}
 }
 
-@inproceedings{suchocki_microscheme:_2015,
-       title = {Microscheme: {Functional} programming for the {Arduino}},
-       booktitle = {Proceedings of the 2014 {Scheme} and {Functional} {Programming} {Workshop}},
-       author = {Suchocki, Ryan and Kalvala, Sara},
-       publisher = {University of Indiana},
-       address = {Washington DC, USA},
-       year = {2015},
-       pages = {9},
-}
-
-@misc{johnson-davies_lisp_2020,
-       title = {Lisp for microcontrollers},
-       url = {https://ulisp.com},
-       urldate = {2020-02-14},
-       journal = {Lisp for microcontrollers},
-       author = {Johnson-Davies, David},
-       year = {2020},
-       address = {Boston, MA, USA},
-}
-
-@article{dube_bit:_2000,
-       title = {{BIT}: {A} very compact {Scheme} system for embedded applications},
-       journal = {Proceedings of the Fourth Workshop on Scheme and Functional Programming},
-       author = {Dubé, Danny},
-       year = {2000},
-       file = {dube.ps:/home/mrl/.local/share/zotero/storage/RNG6V7HT/dube.ps:application/postscript},
-}
-
-@inproceedings{feeley_picbit:_2003,
-       title = {{PICBIT}: {A} {Scheme} system for the {PIC} microcontroller},
-       booktitle = {Proceedings of the {Fourth} {Workshop} on {Scheme} and {Functional} {Programming}},
-       publisher = {Citeseer},
-       author = {Feeley, Marc and Dubé, Danny},
-       year = {2003},
-       pages = {7--15},
-       address = {Boston, MA, USA},
-}
-
-@inproceedings{st-amour_picobit:_2009,
-       title = {{PICOBIT}: a compact scheme system for microcontrollers},
-       booktitle = {International {Symposium} on {Implementation} and {Application} of {Functional} {Languages}},
-       publisher = {Springer},
-       author = {St-Amour, Vincent and Feeley, Marc},
-       year = {2009},
-       pages = {1--17},
-       address = {South Orange, NJ, USA},
-}
 @book{Ravulavaru18,
 author = {Ravulavaru, Arvind},
 isbn = {1-78883-378-3},