Baber Rehman

According to our database, Baber Rehman authored at least 5 papers between 2020 and 2023.

Collaborative distances:

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

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