@article{intrinsic-verification-of-parsers,
author = {Schaefer, Steven and Varner, Nathan and Azevedo de Amorim, Pedro Henrique and New, Max S.},
title = {Intrinsic Verification of Parsers and Formal Grammar Theory in Dependent Lambek Calculus},
year = {2025},
issue_date = {June 2025},
publisher = {Association for Computing Machinery},
address = {New York, NY, USA},
volume = {9},
number = {PLDI},
url = {https://doi.org/10.1145/3729281},
doi = {10.1145/3729281},
journal = {Proc. ACM Program. Lang.},
month = jun,
articleno = {178},
numpages = {24},
keywords = {Linear types, Dependent types, Lambek calculus, Intrinsic verification}
}