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.
44 lines
1.3 KiB
44 lines
1.3 KiB
2 years ago
|
@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}
|
||
|
|
}
|
||
|
2 years ago
|
|
||
|
|
@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}
|
||
|
|
}
|
||
|
2 years ago
|
|
||
|
|
@book{haskell-in-depth,
|
||
|
|
author = {Bragilevsky, Vitaly},
|
||
|
|
title = {{Haskell in Depth}},
|
||
|
|
journal = {O{'}Reilly Online Learning},
|
||
|
|
year = {2021},
|
||
|
|
month = jun,
|
||
|
|
isbn = {978-1-61729540-9},
|
||
|
|
publisher = {Manning Publications},
|
||
|
|
language = {english},
|
||
|
|
url = {https://www.oreilly.com/library/view/haskell-in-depth/9781617295409}
|
||
|
|
}
|