Proceedings of the 3rd ACM SIGPLAN International Workshop on Type-Driven Development
Gespeichert in:
Verfasser / Beitragende:
Eisenberg, Richard A
Ort, Verlag, Jahr:
[S.l.] :
Association for Computing Machinery,
2018
Beschreibung:
1 online resource
Format:
Buch (online)
Online Zugang: