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

Bibliográfalaš dieđut
Materiálatiipa: Elektrovnnalaš E-girji
Giella:eaŋgalasgiella
Almmustuhtton: Association for Computing Machinery (ACM), 9/3/17
Fáttát:
Liŋkkat:Full text available on Research4Life (ACM)
Govvádus
Fuomášahttimat:<strong>On-Campus Access Only (IP based access)</strong>
Olgguldas hápmi:1 online resource
Materiálatiipa:Mode of access: Internet
ISBN:9781450351836
Beassan:Electronic access restricted to authorized AUW faculty, staff and students