Cited By
View all- Wei GBračevac OJia SBao YRompf T(2024)Polymorphic Reachability Types: Tracking Freshness, Aliasing, and Separation in Higher-Order Generic ProgramsProceedings of the ACM on Programming Languages10.1145/36328568:POPL(393-424)Online publication date: 5-Jan-2024
- Jung CKim H(2022)Win Prediction from the Snowball Effect Perspectives2022 IEEE Games, Entertainment, Media Conference (GEM)10.1109/GEM56474.2022.10017891(1-6)Online publication date: 27-Nov-2022