conf.researchr.org / Bruno C. d. S. Oliveira
Registered user since Tue 13 Sep 2016
Name:Bruno C. d. S. Oliveira
Country:China
Affiliation:University of Hong Kong
Personal website: http://i.cs.hku.hk/~bruno/
Research interests:Programming Languages, Modularity
Contributions
2024
SPLASH
- Author of A Case for First-Class Environments within the OOPSLA 2024-track
- Author of Imperative Compositional Programming: Type Sound Distributive Intersection Subtyping with References via Bidirectional Typing within the OOPSLA 2024-track
- Committee Member in Review Committee within the OOPSLA 2024-track
- Author of Full Iso-recursive Types within the OOPSLA 2024-track
- Author of Merging Gradual Typing within the OOPSLA 2024-track
2023
SPLASH
POPL
2022
APLAS
SPLASH
ECOOP
- Author of Union Types with Disjoint Switches within the Research Papers-track
- Committee Member in Program Committee within the Research Papers-track
- Author of Direct Foundations for Compositional Programming within the Research Papers-track
- Author of Elementary Type Inference within the Research Papers-track
2021
ECOOP
- Author of Compositional Programming within the ECOOP Technical Papers-track
- Author of A Dependently Typed Calculus with Polymorphic Subtyping within the ECOOP Technical Papers-track
- Author of Type-Directed Operational Semantics for Gradual Typing within the ECOOP Artifacts-track
- Author of Compositional Programming within the ECOOP Artifacts-track
- Author of Type-Directed Operational Semantics for Gradual Typing within the ECOOP Technical Papers-track
2020
SPLASH
- Author of Row and Bounded Polymorphism via Disjoint Polymorphism within the Posters-track
- Author of A Type-Directed Operational Semantics for a Calculus with a Merge Operator within the Posters-track
- Author of Resolution as Intersection Subtyping via Modus Ponens within the OOPSLA Artifacts-track
- Author of Resolution as Intersection Subtyping via Modus Ponens within the OOPSLA-track
- Author of Resolution as Intersection Subtyping via Modus Ponens within the Posters-track
- Author of Revisiting Iso-Recursive Subtyping within the OOPSLA Artifacts-track
- Author of Revisiting Iso-Recursive Subtyping within the OOPSLA-track
- Author of Revisiting Iso-Recursive Subtyping within the Posters-track
- Committee Member in Review Committee within the OOPSLA-track
ECOOP
- Author of Row and Bounded Polymorphism via Disjoint Polymorphism within the Research Papers-track
- Author of The Duality of Subtyping (artifact) within the Artifacts-track
- Author of A Type-Directed Operational Semantics for a Calculus with a Merge Operator within the Research Papers-track
- Author of A Type-Directed Operational Semantics for a Calculus with a Merge Operator within the Artifacts-track
- Author of The Duality of Subtyping within the Research Papers-track
- Author of A Type-Directed Operational Semantics for a Calculus with a Merge Operator within the Posters-track
- Author of Row and Bounded Polymorphism via Disjoint Polymorphism within the Posters-track