ECOOP 2020
Sun 15 - Tue 17 November 2020 Online Conference
co-located with SPLASH 2020
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

GPCE 2020Committee Member in Program Committee within the GPCE-track
ECOOP 2020Author 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
SPLASH 2020Author 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
Show activities from other conferences

Using general profile