Baber Rehman

According to our database, Baber Rehman authored at least 6 papers between 2020 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2024

Disjoint Polymorphism with Intersection and Union Types.

Baber Rehman, Bruno C. d. S. Oliveira

Proceedings of the 26th ACM International Workshop on Formal Techniques for Java-like Programs, 2024

2023

Correctness-by-Construction Meets Refinement Types.

Baber Rehman

Proceedings of the 25th ACM International Workshop on Formal Techniques for Java-like Programs, 2023

2022

Union Types with Disjoint Switches (Artifact).

Baber Rehman, Xuejing Huang, Ningning Xie, Bruno C. d. S. Oliveira

Dagstuhl Artifacts Ser., 2022

Union Types with Disjoint Switches.

Baber Rehman, Xuejing Huang, Ningning Xie, Bruno C. d. S. Oliveira

Proceedings of the 36th European Conference on Object-Oriented Programming, 2022

2020

The Duality of Subtyping (Artifact).

Bruno C. d. S. Oliveira, Shaobo Cui, Baber Rehman

Dagstuhl Artifacts Ser., 2020

The Duality of Subtyping.

Bruno C. d. S. Oliveira, Shaobo Cui, Baber Rehman

Proceedings of the 34th European Conference on Object-Oriented Programming, 2020