Cited By
View all- Jiang SCui COliveira B(2025)Bidirectional Higher-Rank Polymorphism with Intersection and Union TypesProceedings of the ACM on Programming Languages10.1145/37049079:POPL(2118-2148)Online publication date: 9-Jan-2025
- Xue XOliveira B(2024)Contextual TypingProceedings of the ACM on Programming Languages10.1145/36746558:ICFP(880-908)Online publication date: 15-Aug-2024
- Tang WHillerström DLindley SMorris J(2024)Soundly Handling LinearityProceedings of the ACM on Programming Languages10.1145/36328968:POPL(1600-1628)Online publication date: 5-Jan-2024
- Show More Cited By