Cited By
View all- Das AWang DHoffmann J(2023)Probabilistic Resource-Aware Session TypesProceedings of the ACM on Programming Languages10.1145/35712597:POPL(1925-1956)Online publication date: 9-Jan-2023
- 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
- Toninho BCaires LPfenning F(2021)A Decade of Dependent Session TypesProceedings of the 23rd International Symposium on Principles and Practice of Declarative Programming10.1145/3479394.3479398(1-3)Online publication date: 6-Sep-2021
- Show More Cited By