Proceedings of the 2nd ACM SIGPLAN International Workshop on Type-Driven Development

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