Cited By
View all- Rao XRadziuk SWatt CGardner P(2025)Progressful Interpreters for Efficient WebAssembly MechanisationProceedings of the ACM on Programming Languages10.1145/37048589:POPL(627-655)Online publication date: 9-Jan-2025
- Abreu PDelaware BHubers AJenkins CMorris JStump A(2023)A Type-Based Approach to Divide-and-Conquer Recursion in CoqProceedings of the ACM on Programming Languages10.1145/35711967:POPL(61-90)Online publication date: 11-Jan-2023
- Forster YKirst DWehr D(2019)Completeness Theorems for First-Order Logic Analysed in Constructive Type TheoryLogical Foundations of Computer Science10.1007/978-3-030-36755-8_4(47-74)Online publication date: 20-Dec-2019
- Show More Cited By