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
@proceedings{icfp-2021tyde,
title = {TyDe 2021: Proceedings of the 6th ACM SIGPLAN International Workshop on Type-Driven Development, Virtual Event, Korea, 22 August 2021},
year = {2021},
doi = {10.1145/3471875?af=R},
url = {https://doi.org/10.1145/3471875?af=R},
researchr = {https://researchr.org/publication/icfp-2021tyde},
cites = {0},
citedby = {0},
booktitle = {TyDe 2021: Proceedings of the 6th ACM SIGPLAN International Workshop on Type-Driven Development, Virtual Event, Korea, 22 August 2021},
conference = {ICFP},
editor = {Hsiang-Shang Ko and Dominic Orchard},
publisher = {ACM},
isbn = {978-1-4503-8616-6},
}