Hsiang-Shang Ko, Dominic Orchard, editors, TyDe 2021: Proceedings of the 6th ACM SIGPLAN International Workshop on Type-Driven Development, Virtual Event, Korea, 22 August 2021. ACM, 2021. [doi]
Conference: ICFP2021
No references recorded for this publication.
No citations of this publication recorded.