TyDe '22 Proceedings of the 7th ACM SIGPLAN International Workshop on Type-Driven Development : September 11, 2022, Ljubljana, Slovenia
0
0
Author Description
Page Count:
44
Publication Date:
2022-01-01
Publisher:
Association for Computing Machinery, Incorporated
ISBN-10:
1450394396
ISBN-13:
9781450394390