Verified Functional Programming in Agda - Hardcover
4.5 (1,234)
Sold 100+ last 30 days
20% off first order
$178.13
Color
Black
Quantity
Product description loading
Product description loading
This is the product description text that will appear here.
Quantity
1
Description
Report copyright infringement by Aaron Stump (Author) 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 proof...