Search for collections on Digital Blue Ocean
Items where Author is "Stump, Aaron"
 | Up a level |
Group by: Item Type | No Grouping
Jump to: Book
Number of items: 1.
Book
Stump, Aaron (2016) Verified Functional Programming in Agda. Morgan & Claypool. ISBN 978-1-97000-125-9 (Submitted)