Proceedings of the 3rd ACM SIGPLAN International Workshop on Type-Driven Development

Författare
Richard A. Eisenberg
Språk
Engelska
Förlag År Ort Om boken ISBN
ACM 2018 Utgivningsland okänt / Ej specificerat, New York NY