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

Verfasser / Beitragende:
Eisenberg, Richard A
Ort, Verlag, Jahr:
[S.l.] : Association for Computing Machinery, 2018
Beschreibung:
1 online resource
Format:
Buch (online)
ID: 563223820