Verified functional programming in Agda

Detalles Bibliográficos
Autor principal:	Stump, Aaron (Autor)
Formato:	Electronic Resource
Lenguaje:	English
Publicado:	New York Association for Computing Machinery [2016]
Edición:	First edition.
Materias:	Architecture, Computer. Computer programming. Electronic books.
Acceso en línea:	Available for University of the Philippines Diliman via ACM Digital Library. Click here to access Also available remotely for University of the Philippines Diliman via ACM Digital Library. Click here to access thru EZproxy