Giuseppe Castagna. Typing Records, Maps, and Structs. Proceedings of the ACM on Programming Languages, 7(ICFP):215-258, August 2023. [doi]
@article{Castagna23,
title = {Typing Records, Maps, and Structs},
author = {Giuseppe Castagna},
year = {2023},
month = {August},
doi = {10.1145/3607838},
url = {https://doi.org/10.1145/3607838},
researchr = {https://researchr.org/publication/Castagna23},
cites = {0},
citedby = {0},
journal = {Proceedings of the ACM on Programming Languages},
volume = {7},
number = {ICFP},
pages = {215-258},
}