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
Research interests:Programming Languages, Modularity


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

ICFP 2019-profile
View general profile