Stump, Aaron (2016) Verified Functional Programming in Agda. Morgan & Claypool. ISBN 978-1-97000-125-9 (Submitted)
![[img]](https://dbo.raharja.ac.id/style/images/fileicons/text.png) |
Text
Verified Functional Programming in Agda.pdf Download (3MB) |
| Item Type: | Book |
|---|---|
| Subjects: | T Technology > T Technology (General) |
| Depositing User: | user input ebook |
| Date Deposited: | 08 Mar 2022 07:27 |
| Last Modified: | 08 Mar 2022 07:27 |
| URI: | http://dbo.raharja.ac.id/id/eprint/93 |
Actions (login required)
 |
View Item |