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

Personal website: http://www.cs.mcgill.ca/~fferre8/

Contributions

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

SPLASH 2016-profile
View general profile