Cited By
View all- Popescu A(2024)Nominal Recursors as Epi-RecursorsProceedings of the ACM on Programming Languages10.1145/36328578:POPL(425-456)Online publication date: 5-Jan-2024
- Wang YZhang LShao ZKoenig J(2022)Verified compilation of C programs with a nominal memory modelProceedings of the ACM on Programming Languages10.1145/34986866:POPL(1-31)Online publication date: 12-Jan-2022
- Popescu A(2022)Rensets and Renaming-Based Recursion for Syntax with BindingsAutomated Reasoning10.1007/978-3-031-10769-6_36(618-639)Online publication date: 8-Aug-2022
- Show More Cited By