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

Xehetasun bibliografikoak
Formatua: Baliabide elektronikoa Liburua
Hizkuntza:English
Argitaratua: Association for Computing Machinery (ACM), 9/27/18
Gaiak:
Sarrera elektronikoa:Full text available on Research4Life (ACM)
Classic Catalogue: View this record in Classic Catalogue

Antzeko izenburuak