![](/img/cover-not-exists.png)
[ACM Press the 7th workshop - Rome, Italy (2013.01.22-2013.01.22)] Proceedings of the 7th workshop on Programming languages meets program verification - PLPV '13 - Modular type-safety proofs in Agda
Schwaab, Christopher, Siek, Jeremy G.Year:
2013
Language:
english
DOI:
10.1145/2428116.2428120
File:
PDF, 814 KB
english, 2013