Not registered as user yet

Name: Travis Hance

Affiliation: Carnegie Mellon University

Contributions

ICFP 2020 Author of Liquid Information Flow Control within the ICFP Program-track