Write a Blog >>
Alex Kavvos

Registered user since Mon 5 Nov 2018

Name: Alex Kavvos

Country: Denmark

Affiliation: Aarhus University

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

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


POPL 2020Author of Recurrence Extraction for Functional Programs through Call-by-Push-Value within the Research Papers-track
Show activities from other conferences

POPL 2020-profile
View general profile