X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=other.bib;h=c04c6922c3b8cb4301b554c1300001be2fa0854e;hb=7af43f4cbbc7792ec22553a84468cde77f429a11;hp=168a87ea4216858af79c0361933ce2c109e76bf8;hpb=6e1620de7fd37b567a1b52b022ed43ab5dfa9015;p=phd-thesis.git

diff --git a/other.bib b/other.bib
index 168a87e..c04c692 100644
--- 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},
+}