Verified Functional Programming in Agda - Paperback
by Aaron Stump
$79.99
Quantity
01
Pay over time for orders over $35.00 with
Language:EnglishPublisher:ACM BooksISBN-13:9781970001242ISBN-10:1970001240UPC:9781970001242Book Category:ComputersBook Subcategory:Computer Science, LanguagesSize:9.25 x 7.50 x 0.60 inchesWeight:1.0803Product ID:SCM9B443KM
Verified Functional Programming in Agda
Agda is an advanced programming language based on Type Theory. Agda's type system is expressive enough to support full functional verification of programs, in two styles. In external verification, we write pure functional programs and then write proofs of properties about them. The proofs are separate external artifacts, typically using structural induction. In internal verification, we specify...
Series: ACM Books
Language:EnglishPublisher:ACM BooksISBN-13:9781970001242ISBN-10:1970001240UPC:9781970001242Book Category:ComputersBook Subcategory:Computer Science, LanguagesSize:9.25 x 7.50 x 0.60 inchesWeight:1.0803Product ID:SCM9B443KM
Aaron Stump is a professor of Computer Science at The University of Iowa. His research interests are in Computational Logic and Programming Languages, especially Type Theory. He received a Bachelor's degree in Computer Science and Philosophy from Cornell University in 1997, and a PhD in Computer Science from Stanford University in 2002.
Publisher: ACM Books
Contributor(s)
Author
Free shipping on orders over $75. Standard shipping takes 3-7 business days. Returns accepted within 30 days of purchase.