Verified functional programming in Agda
| Egile nagusia: | |
|---|---|
| Formatua: | Electronic Resource |
| Hizkuntza: | English |
| Argitaratua: |
New York
Association for Computing Machinery
[2016]
|
| Edizioa: | First edition. |
| Gaiak: | |
| Sarrera elektronikoa: | 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 |