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
- Parreaux LBoruch-Gruszecki AFan AChau C(2024)When Subtyping Constraints Liberate: A Novel Type Inference Approach for First-Class PolymorphismProceedings of the ACM on Programming Languages10.1145/36328908:POPL(1418-1450)Online publication date: 5-Jan-2024
- Cui CJiang SOliveira B(2023)Greedy Implicit Bounded QuantificationProceedings of the ACM on Programming Languages10.1145/36228717:OOPSLA2(2083-2111)Online publication date: 16-Oct-2023
- Show More Cited By