Items where authors include "van Brügge, J."

Proceedings Paper

van Brügge, J., Popescu, A. orcid.org/0000-0001-8747-0619 and Traytel, D. (2025) Animating MRBNFs: Truly modular binding-aware datatypes in Isabelle/HOL. In: Forster, Y. and Keller, C., (eds.) 16th International Conference on Interactive Theorem Proving (ITP 2025). 16th International Conference on Interactive Theorem Proving (ITP 2025), 28 Sep - 01 Oct 2025, Reykjavik, Iceland. Leibniz International Proceedings in Informatics (LIPIcs), 352 . .

van Brügge, J., McKinna, J., Popescu, A. orcid.org/0000-0001-8747-0619 et al. (1 more author) (2025) Barendregt convenes with Knaster and Tarski: strong rule induction for syntax with bindings. In: Hicks, M., (ed.) Proceedings of the ACM on Programming Languages. ACM SIGPLAN Symposium on Principles of Programming Languages (POPL), 14-20 Jan 2024, London, United Kingdom. Association for Computing Machinery (ACM) , pp. 1687-1718.