Write a Blog >>
ICFP 2019
Sun 18 - Fri 23 August 2019 Berlin, Germany
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 2019Committee 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

ICFP 2019-profile
View general profile