Blogs (9) >>
SPLASH 2016
Sun 30 October - Fri 4 November 2016 Amsterdam, Netherlands
Francisco Ferreira

Not registered as user yet

Name:Francisco Ferreira
Bio:

I work under the supervision of Brigitte Pientka and my main research interests are:

◾ Types systems and formal logic ◾ Programming with binders and HOAS (Beluga) ◾ Temporal logic and other modal logics ◾ Principled approaches to programming language design

Country:Canada
Affiliation:McGill University

Contributions

SPLASH 2016 Programme Committee in Program Committee within the OOPSLA Artifacts-track
Show activities from other conferences

SPLASH 2016-profile
View general profile