Write a Blog >>
ECOOP 2021
Mon 12 - Sat 17 July 2021 Online
co-located with ECOOP and ISSTA 2021
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

ECOOP 2021 Compositional Programming
A Dependently Typed Calculus with Polymorphic Subtyping
Type-Directed Operational Semantics for Gradual Typing
Show activities from other conferences

Using general profile