The Duality of Subtyping. - Bruno C. d. S. Oliveira; Shaobo Cui 002; Baber Rehman (ECOOP, 2020)

The Duality of Subtyping (Artifact). - Bruno C. d. S. Oliveira; Shaobo Cui 002; Baber Rehman (Dagstuhl Artifacts Ser., 2020)

Union Types with Disjoint Switches. - Baber Rehman; Xuejing Huang; Ningning Xie; Bruno C. d. S. Oliveira (ECOOP, 2022)

Union Types with Disjoint Switches (Artifact). - Baber Rehman; Xuejing Huang; Ningning Xie; Bruno C. d. S. Oliveira (Dagstuhl Artifacts Ser., 2022)

Correctness-by-Construction Meets Refinement Types. - Baber Rehman (FTfJP@ECOOP, 2023)

Disjoint Polymorphism with Intersection and Union Types. - Baber Rehman; Bruno C. d. S. Oliveira (FTfJP@ECOOP, 2024)