Verified Functional Programming in Agda Front Cover

Verified Functional Programming in Agda

(0 Reviews)
, 2016-02-01, 284 pages, pdf, epub