Write a Blog >>
ECOOP and ISSTA 2021
Sun 11 - Sat 17 July 2021 Online
Bruno C. d. S. Oliveira

Registered user since Tue 13 Sep 2016

Name:Bruno C. d. S. Oliveira
Affiliation:University of Hong Kong
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