@article{timany-2024-a, title={A Logical Approach to Type Soundness}, volume={71}, ISSN={1557-735X}, url={http://dx.doi.org/10.1145/3676954}, DOI={10.1145/3676954}, number={6}, journal={Journal of the ACM}, publisher={Association for Computing Machinery (ACM)}, author={Timany, Amin and Krebbers, Robbert and Dreyer, Derek and Birkedal, Lars}, year={2024}, month=Nov, pages={1–75} }