Cited By
View all- van Brügge JMcKinna JPopescu ATraytel D(2025)Barendregt Convenes with Knaster and Tarski: Strong Rule Induction for Syntax with BindingsProceedings of the ACM on Programming Languages10.1145/37048939:POPL(1687-1718)Online publication date: 7-Jan-2025
- Tan JOliveira B(2024)A Case for First-Class EnvironmentsProceedings of the ACM on Programming Languages10.1145/36898008:OOPSLA2(2521-2550)Online publication date: 8-Oct-2024
- Haselwarter PRivas EVan Muylder AWinterhalter TAbate CSidorenco NHriţcu CMaillard KSpitters B(2023)SSProve: A Foundational Framework for Modular Cryptographic Proofs in CoqACM Transactions on Programming Languages and Systems10.1145/359473545:3(1-61)Online publication date: 20-Jul-2023
- Show More Cited By