Proceedings of the 2013 ACM SIGPLAN workshop on Dependently-typed programming

Författare
Stephanie Weirich
Språk
Okänt
Förlag År Ort Om boken ISBN
ACM uuuu-uuuu Utgivningsland okänt / Ej specificerat