Verified Functional Programming in Agda

Author
Aaron Stump
Publisher
Association for Computing Machinery
Subject
Programming Languages
Year
2016
ISBN
9781970001266