Verified Functional Programming in Agda
Publisher:Association for Computing Machinery
By: Stump Aaron
Paid access
|Feb 2025
This title is not yet available for download
This title is not yet available for download
PDF ISBN: 978-1-970001-25-9 | E-Pub ISBN: 978-1-970001-26-6
Publisher: Association for Computing Machinery
Copyright owner: © 2016 Association for Computing Machinery
Publication date: 2025
Language: English
Pages: 284
Related subjects:
BISAC subjects:
COM014000,
COM051010
Thema subjects:
UY,
UMX
