You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
31 lines
958 B
31 lines
958 B
@book{Hutton2016Sep,
|
|
author = {Hutton, Graham},
|
|
title = {{Programming in Haskell}},
|
|
journal = {Guide books},
|
|
year = {2016},
|
|
month = sep,
|
|
publisher = {Cambridge University Press},
|
|
address = {Cambridge, England, UK},
|
|
language = {english},
|
|
doi = {10.5555/3092752}
|
|
}
|
|
|
|
@book{computation-intro,
|
|
author = {Sannella, Donald and Fourman, Michael and Peng, Haoran and Wadler, Philip},
|
|
title = {{Introduction to Computation: Haskell, Logic and Automata}},
|
|
journal = {SpringerLink},
|
|
isbn = {978-3-030-76908-6},
|
|
publisher = {Springer International Publishing},
|
|
address = {Cham, Switzerland},
|
|
language = {english},
|
|
url = {https://link.springer.com/book/10.1007/978-3-030-76908-6}
|
|
}
|
|
|
|
@misc{haskell-road-to-logic,
|
|
title = {{The Haskell Road to Logic, Maths and Programming}},
|
|
year = {2020},
|
|
month = may,
|
|
language = {english},
|
|
note = {[Online; accessed 22. Apr. 2023]},
|
|
url = {https://staff.fnwi.uva.nl/d.j.n.vaneijck2/HR}
|
|
}
|
|
|