Baber Rehman
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
2
Active years
2020–2024
Best venue rank
C
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | FTfJP | Disjoint Polymorphism with Intersection and Union Types. | Baber Rehman, Bruno C. d. S. Oliveira |
| 2023 | FTfJP | Correctness-by-Construction Meets Refinement Types. | Baber Rehman |
| 2022 | ECOOP | Union Types with Disjoint Switches. | Baber Rehman, Xuejing Huang, Ningning Xie, Bruno C. d. S. Oliveira |
| 2020 | ECOOP | The Duality of Subtyping. | Bruno C. d. S. Oliveira, Shaobo Cui, Baber Rehman |