Bruno C. d. S. Oliveira
3 أوراق في مجموعة PaperMetrix
أوراق هذا المؤلف
-
Consistent Subtyping for All
2019 · ACM Transactions on Programming Languages and Systems
Consistent subtyping is employed in some gradual type systems to validate type conversions. The original definition by Siek and Taha serves as a guideline for designing gradual type systems with subtyping. Polymorphic types à la …
-
Taming the Merge Operator
2021 · Journal of Functional Programming
Abstract Calculi with disjoint intersection types support a symmetric merge operator with subtyping. The merge operator generalizes record concatenation to any type, enabling expressive forms of object composition, and simple solutions to hard modularity problems. …
-
Disjoint Polymorphism with Intersection and Union Types
2024
Intersection and union types are advance programming features and are able to encode various classical programming constructs. The significance of intersection and union types is visible by the fact that these types are available in …