Verified functional programming in Agda
| מחבר ראשי: | |
|---|---|
| פורמט: | Electronic Resource |
| שפה: | English |
| יצא לאור: |
New York
Association for Computing Machinery
[2016]
|
| מהדורה: | First edition. |
| נושאים: | |
| גישה מקוונת: | 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 |