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/

SPLASH 2016 Activities

SPLASH 2016-profile
View general profile