- Title: Subtitle
- Verified functional programming in Agda
- Creators
- Aaron Stump - University of Iowa, Computer Science
- Resource Type
- Book
- Series
- ACM books; #9
- DOI
- 10.1145/2841316
- ISBN
- 9781970001273; 1970001275
- Publisher
- Morgan & Claypool; San Rafael
- Number of pages
- xxiv, 258 pages
- Language
- English
- Date published
- 2016
- Academic Unit
- Computer Science
- Record Identifier
- 9983902997102771
Book
Verified functional programming in Agda
ACM books, #9, Morgan & Claypool
2016
DOI: 10.1145/2841316
Abstract
Details
Metrics
58 Record Views