Verified Functional Programming in AgdaAaron Stump
Verified Functional Programming in Agda
by Aaron Stump
2mentions
1recommended by
2HN commenters
2018–2020first – last mentioned
50% recommend50% neutral
Affiliate links. As an Amazon Associate I earn from qualifying purchases.
Verified Functional Programming in Agda is the best Agda resource available, but studying Idris via Type-driven Development with Idris will net you very transferable insights. These are research languages, so the ideas are extremely interesting…
on “Learn you an Agda (2011)” ↗Another thread https://news.ycombinator.com/item?id=22783645 recommended Verified Functional Programming in Agda (https://dl.acm.org/doi/book/10.1145/2841316). I was just thrilled to notice that the HOPL proceedings (https://dl.acm.org/conference/hopl) are there! EDIT 1: HOPL was pointed out earlier by spdegabrielle…
on “Ask HN: Must Read from ACM Library?” ↗