Write a Blog >>
POPL 2019
Sun 13 - Sat 19 January 2019 Cascais/Lisbon, Portugal

Registered user since Mon 5 Nov 2018

Name: G. A. Kavvos

Country: United States

Affiliation: Wesleyan University

Personal website: https://www.lambdabetaeta.eu

Research interests: type theory, homotopy theory, category theory, programming language theory, models of computer security

Contributions

POPL 2019Author of Modalities, Cohesion, and Information Flow within the Research Papers-track
Show activities from other conferences

Using general profile