updates

[phd-thesis.git] / other.bib

diff --git a/other.bib b/other.bib
index 168a87e..c04c692 100644 (file)
--- a/other.bib
+++ b/other.bib
@@ -134,7 +134,7 @@
        language = {English},
        urldate = {2021-02-24},
        publisher = {Release},
-       author = {GHC Team},
+       author = {{GHC Team}},
        year = {2021},
        file = {GHC Team - 2021 - GHC User’s Guide Documentation.pdf:/home/mrl/.local/share/zotero/storage/87ZT5VXL/GHC Team - 2021 - GHC User’s Guide Documentation.pdf:application/pdf},
 }
@@ -145,7 +145,7 @@
        language = {English},
        urldate = {2021-02-24},
        publisher = {Release},
-       author = {GHC Team},
+       author = {{GHC Team}},
        year = {2021},
 }
 
@@ -617,7 +617,7 @@ few changes in existing programs.},
        isbn = {978-90-386-3462-3},
        abstract = {In this article I argue that it is important to develop experiential prototypes which have multi-tasking capabilities. At the same time I show that for embedded prototype software based on the popular Arduino platform this is not too difficult. The approach is explained and illustrated using technical examples – practical and hands-on, down to the code level. At the same time a few helpful notations for designing and documenting the software are introduced and illustrated by the same examples. Finally a few case studies of the technical approach are listed.},
        language = {English},
-       booktitle = {Design and semantics of form and movement. 8th {International} {Conference} on {Design} and {Semantics} of {Form} and {Movement} ({DeSForM} 2013)},
+       booktitle = {8th {International} {Conference} on {Design} and {Semantics} of {Form} and {Movement} ({DeSForM} 2013)},
        author = {Feijs, Loe},
        editor = {Chen, L. L. and Djajadiningrat, T. and Feijs, L. M. G. and Fraser, S. and Hu, J. and Kyffin, S. and Steffen, D.},
        year = {2013},
@@ -743,7 +743,7 @@ few changes in existing programs.},
        shorttitle = {Exchanging sources between {Clean} and {Haskell}},
        number = {11},
        journal = {ACM Sigplan Notices},
-       author = {van Groningen, John van and van Noort, Thomas van and Achten, Peter and Koopman, Pieter and Plasmeijer, Rinus},
+       author = {van Groningen, John and van Noort, Thomas and Achten, Peter and Koopman, Pieter and Plasmeijer, Rinus},
        year = {2010},
        pages = {49--60},
        file = {groj10-Haskell_front_end_Clean.pdf:/home/mrl/.local/share/zotero/storage/WVZWX8WT/groj10-Haskell_front_end_Clean.pdf:application/pdf},
@@ -1424,12 +1424,12 @@ Publisher: Association for Computing Machinery},
        file = {Fowler - 2010 - Domain-specific languages.pdf:/home/mrl/.local/share/zotero/storage/YYMYXTZ5/Fowler - 2010 - Domain-specific languages.pdf:application/pdf},
 }
 
-@misc{peter_t_lewis_speech_1985,
+@misc{lewis_speech_1985,
        address = {Washington, D.C.},
        type = {Speech},
        title = {Speech},
        url = {http://www.chetansharma.com/correcting-the-iot-history/},
-       author = {{Peter T. Lewis}},
+       author = {Lewis, Peter T.},
        month = sep,
        year = {1985},
 }
@@ -1724,7 +1724,7 @@ Publisher: Association for Computing Machinery},
        abstract = {We present a new model, based on monads, for performing input/output in a non-strict, purely functional language. It is composable, extensible, efficient, requires no extensions to the type system, and extends smoothly to incorporate mixed-language working and in-place array updates.},
        booktitle = {Proceedings of the 20th {ACM} {SIGPLAN}-{SIGACT} {Symposium} on {Principles} of {Programming} {Languages}},
        publisher = {Association for Computing Machinery},
-       author = {Peyton Jones, Simon L. and Wadler, Philip},
+       author = {Peyton Jones, Simon and Wadler, Philip},
        year = {1993},
        note = {event-place: Charleston, South Carolina, USA},
        pages = {71--84},
@@ -2182,3 +2182,26 @@ Publisher: Association for Computing Machinery},
        year = {2023},
        note = {accessed-on: 2023-01-19},
 }
+
+@misc{top_software_viia_2023,
+       title = {{VIIA} ({Vessel} {Information} {Integrating} {Application})},
+       url = {https://www.top-software.nl/VIIA.html},
+       urldate = {2023-02-06},
+       author = {{TOP Software}},
+       year = {2023},
+}
+
+@article{hinze_derivable_2001,
+       title = {Derivable {Type} {Classes}},
+       volume = {41},
+       issn = {1571-0661},
+       url = {https://www.sciencedirect.com/science/article/pii/S1571066105805420},
+       doi = {https://doi.org/10.1016/S1571-0661(05)80542-0},
+       abstract = {Generic programming allows you to write a function once, and use it many times at different types. A lot of good foundational work on generic programming has been done. The goal of this paper is to propose a practical way of supporting generic programming within the Haskell language, without radically changing the language or its type system. The key idea is to present generic programming as a richer language in which to write default method definitions in a class declaration. On the way, we came across a separate issue, concerning type-class overloading where higher kinds are involved. We propose a simple type-class system extension to allow the programmer to write richer contexts than is currently possible.},
+       number = {1},
+       journal = {Electronic Notes in Theoretical Computer Science},
+       author = {Hinze, Ralf and Jones, Simon Peyton},
+       year = {2001},
+       pages = {5--35},
+       file = {Hinze and Jones - 2001 - Derivable Type Classes.pdf:/home/mrl/.local/share/zotero/storage/33IF2HMZ/Hinze and Jones - 2001 - Derivable Type Classes.pdf:application/pdf},
+}