Proceedings of the 1st International Workshop on Type-Driven Development

Författare
James Chapman
Språk
Engelska
Förlag År Ort Om boken ISBN
ACM 2016 Utgivningsland okänt / Ej specificerat, New York NY