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},
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},
}
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},
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},
+}