Acm Books 9 Aaron Stump Verified Functional Programming In Agda Acm Morgan And Claypool 2016

Acm Books 9 Aaron Stump Verified Functional Programming In Agda Acm Morgan And Claypool 2016 | 1.78 MB
N/A | 284 Pages

Title: Verified Functional Programming in Agda
Author: Aaron/Stump (The University of Iowa)
Year: N/A

Add a Comment

Your email address will not be published.