X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;ds=sidebyside;f=other.bib;h=c04c6922c3b8cb4301b554c1300001be2fa0854e;hb=7af43f4cbbc7792ec22553a84468cde77f429a11;hp=ddf712d7be14ec4a12a1605e1c57b5cc4ad0af46;hpb=7d63dca7576e612310ef746a800996e204828ab4;p=phd-thesis.git

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