Blogs (1) >>
POPL 2019
Sun 13 - Sat 19 January 2019 Cascais, Portugal
Jana Dunfield

Registered user since Thu 10 Nov 2016

Name: Jana Dunfield

Country: Canada

Affiliation: Queen’s University, Kingston, Ontario

Personal website: http://www.cs.queensu.ca/~joshuad/

Contributions

POPL 2019 Sound and Complete Bidirectional Typechecking for Higher-Rank Polymorphism with Existentials and Indexed Types
Show activities from other conferences

POPL 2019-profile
View general profile