TyDe '22: 7th ACM SIGPLAN International Workshop on Type-Driven Development, Ljubljana, Slovenia, 11 September 2022. ACM, 2022. [doi]
Conference: ICFP2022
@proceedings{icfp-2022tyde,
title = {TyDe '22: 7th ACM SIGPLAN International Workshop on Type-Driven Development, Ljubljana, Slovenia, 11 September 2022},
year = {2022},
doi = {10.1145/3546196},
url = {https://doi.org/10.1145/3546196},
researchr = {https://researchr.org/publication/icfp-2022tyde},
cites = {0},
citedby = {0},
booktitle = {TyDe '22: 7th ACM SIGPLAN International Workshop on Type-Driven Development, Ljubljana, Slovenia, 11 September 2022},
conference = {ICFP},
publisher = {ACM},
isbn = {978-1-4503-9439-0},
}