Bruno C. d. S. Oliveira

Sun 15 - Sat 21 November 2020 Online Conference

Registered user since Tue 13 Sep 2016

Name:Bruno C. d. S. Oliveira

Affiliation:University of Hong Kong

Research interests:Programming Languages, Modularity

Contributions

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

SPLASH 2020-profile
View general profile