Top Talked Books Logo Top Talked Books TTB Hacker News Books HN Stack Overflow Books SO Reddit Books Reddit
Verified Functional Programming in Agda (Acm Books)

Verified Functional Programming in Agda (Acm Books)

Category: Computer Science
Author: Aaron Stump
4.5
This Month Hacker News 1
Avaliable on Amazon

Comments

by solomatov   2017-08-19
Concerning the books on the topic, I highly recommend this: https://www.amazon.com/Verified-Functional-Programming-Agda-... If you want to get into the math related aspect, read this: https://homotopytypetheory.org/book/

There's also an annual summer school on the topic which has downloadable videos available: https://www.cs.uoregon.edu/research/summerschool/summer17/
Original Thread