SPLASH 2020 (series) / Bruno C. d. S. Oliveira
Registered user since Tue 13 Sep 2016
Name:Bruno C. d. S. Oliveira
Affiliation:University of Hong Kong
Personal website: http://i.cs.hku.hk/~bruno/
Research interests:Programming Languages, Modularity
Contributions
2020
SPLASH
- Row and Bounded Polymorphism via Disjoint Polymorphism
- A Type-Directed Operational Semantics for a Calculus with a Merge Operator
- Resolution as Intersection Subtyping via Modus Ponens
- Resolution as Intersection Subtyping via Modus Ponens
- Resolution as Intersection Subtyping via Modus Ponens
- Revisiting Iso-Recursive Subtyping
- Revisiting Iso-Recursive Subtyping
- Revisiting Iso-Recursive Subtyping
- Committee Member in Review Committee within the OOPSLA-track
ECOOP
- Row and Bounded Polymorphism via Disjoint Polymorphism
- The Duality of Subtyping (artifact)
- A Type-Directed Operational Semantics for a Calculus with a Merge Operator
- A Type-Directed Operational Semantics for a Calculus with a Merge Operator
- The Duality of Subtyping
- A Type-Directed Operational Semantics for a Calculus with a Merge Operator
- Row and Bounded Polymorphism via Disjoint Polymorphism
SPLASH 2020-profile
View general profile
View general profile