TY  - GEN
T1  - Verified functional programming in Agda
A1  - Stump, Aaron
LA  - English
PP  - New York
PB  - Association for Computing Machinery
YR  - 2016
ED  - First edition.
UL  - https://tuklas.up.edu.ph/Record/UP-99796217613907060
SN  - 9781970001273 (eBook)
KW  - Architecture, Computer.
KW  - Computer programming.
KW  - Electronic books.
ER  -