Cited By
View all- Das ADeyoung HMordido APfenning F(2022)Nested Session TypesACM Transactions on Programming Languages and Systems10.1145/353965644:3(1-45)Online publication date: 15-Jul-2022
- Keizer ABasold HPérez J(2022)Session Coalgebras: A Coalgebraic View on Regular and Context-free Session TypesACM Transactions on Programming Languages and Systems10.1145/352763344:3(1-45)Online publication date: 15-Jul-2022
- Ish-Shalom OItzhaky SRinetzky NShoham S(2022)Runtime Complexity Bounds Using SqueezersACM Transactions on Programming Languages and Systems10.1145/352763244:3(1-36)Online publication date: 15-Jul-2022
- Show More Cited By