Cited By
View all- Koutavas VLin YTzevelekos NSobocinski PLago UEsparza J(2024)Pushdown Normal-Form Bisimulation: A Nominal Context-Free Approach to Program EquivalenceProceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science10.1145/3661814.3662103(1-15)Online publication date: 8-Jul-2024
- Timany AGuéneau ABirkedal L(2024)The Logical Essence of Well-Bracketed Control FlowProceedings of the ACM on Programming Languages10.1145/36328628:POPL(575-603)Online publication date: 5-Jan-2024
- SEKIYAMA TTSUKADA TIGARASHI A(2024)Signature restriction for polymorphic algebraic effectsJournal of Functional Programming10.1017/S095679682400005434Online publication date: 27-May-2024
- Show More Cited By