1. A Derivative-based Parser Generator for Visibly Pushdown Grammars;ACM Transactions on Programming Languages and Systems;2023-05-15
2. Verified ALL(*) Parsing with Semantic Actions and Dynamic Input Validation;Lecture Notes in Computer Science;2023
3. CoStar: a verified ALL(*) parser;Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation;2021-06-18
4. A type- and scope-safe universe of syntaxes with binding: their semantics and proofs;Journal of Functional Programming;2021
5. A formalisation of LEGv8 in Agda;Proceedings of the 24th Brazilian Symposium on Context-Oriented Programming and Advanced Modularity;2020-10-19