![](/img/cover-not-exists.png)
Programming language foundations in Agda
Kokke, Wen, Siek, Jeremy G., Wadler, PhilipVolume:
194
Journal:
Science of Computer Programming
DOI:
10.1016/j.scico.2020.102440
Date:
August, 2020
File:
PDF, 2.49 MB
2020