Union Types with Disjoint Switches B Rehman, X Huang, N Xie, BCS Oliveira 36th European Conference on Object-Oriented Programming (ECOOP 2022), 2022 | 12 | 2022 |
A Blend of Intersection Types and Union Types B Rehman University of Hong Kong Libraries, 2023 | 1 | 2023 |
Disjoint Polymorphism with Intersection and Union Types B Rehman, BCS Oliveira Proceedings of the 26th ACM International Workshop on Formal Techniques for …, 2024 | | 2024 |
Correctness-by-Construction Meets Refinement Types B Rehman Proceedings of the 25th ACM International Workshop on Formal Techniques for …, 2023 | | 2023 |
Union Types with Disjoint Switches (Artifact) B Rehman, X Huang, N Xie, BCS Oliveira Schloss-Dagstuhl-Leibniz Zentrum für Informatik, 2022 | | 2022 |
The Duality of Subtyping (Artifact) BCS Oliveira, C Shaobo, B Rehman Schloss Dagstuhl-Leibniz-Zentrum für Informatik, 2020 | | 2020 |
The Duality of Subtyping BCS Oliveira, C Shaobo, B Rehman 34th European Conference on Object-Oriented Programming (ECOOP 2020), 2020 | | 2020 |
Determinism with Intersection and Union Types B Rehman, BCS Oliveira | | |