Följ
Baber Rehman
Titel
Citeras av
Citeras av
År
Union Types with Disjoint Switches
B Rehman, X Huang, N Xie, BCS Oliveira
36th European Conference on Object-Oriented Programming (ECOOP 2022), 2022
82022
A Blend of Intersection Types and Union Types
B Rehman
University of Hong Kong Libraries, 2023
2023
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
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–7