Cited By
View all- Hoeflich JFindler RSerrano M(2022)Highly illogical, Kirk: spotting type mismatches in the large despite broken contracts, unsound types, and too many lintersProceedings of the ACM on Programming Languages10.1145/35633056:OOPSLA2(479-504)Online publication date: 31-Oct-2022
- Ângelo PFlorido M(2022)A Typed Lambda Calculus with Gradual Intersection TypesProceedings of the 24th International Symposium on Principles and Practice of Declarative Programming10.1145/3551357.3551382(1-13)Online publication date: 20-Sep-2022
- Ângelo PFlorido M(2020)Type Inference for Rank 2 Gradual Intersection TypesTrends in Functional Programming10.1007/978-3-030-47147-7_5(84-120)Online publication date: 11-May-2020
- Show More Cited By