Cited By
View all- Malewski SGreenberg MTanter É(2021)Gradually structured dataProceedings of the ACM on Programming Languages10.1145/34855035:OOPSLA(1-29)Online publication date: 15-Oct-2021
- Shivkumar BNaudon EZiarek L(2021)Putting Gradual Types to WorkPractical Aspects of Declarative Languages10.1007/978-3-030-67438-0_4(54-70)Online publication date: 18-Jan-2021
- Â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