Bruno C. d. S. Oliveira

Registered user since Tue 13 Sep 2016

Name: Bruno C. d. S. Oliveira

Country: Hong Kong

Affiliation: The University of Hong Kong, Hong Kong

Personal website: http://i.cs.hku.hk/~bruno/

Research interests: Programming Languages, Modularity

Contributions

ICFP 2019	Committee Member in Program Committee within the Research Papers-track Author of A Mechanical Formalization of Higher-Ranked Polymorphic Type Inference within the Research Papers-track
Show activities from other conferences