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

Weitere Versionen (3)
Gespeichert in:
Weitere Titel:
TyDe 2017
1. Verfasser:
Lindley, Sam
Format:
Elektronisch E-Book
Sprache:
Englisch
Veröffentlicht:
New York, NY ACM 2017
Umfang:
1 online resource (40 pages)
Anmerkungen:
Title from The ACM Digital Library
ISBN:
9781450351836
Schlagworte:
Computer science
Links: