Write a Blog >>
Alex Kavvos

Registered user since Mon 5 Nov 2018

Name:Alex Kavvos
Country:Denmark
Affiliation:Aarhus University
Research interests:type theory, homotopy theory, category theory, programming language theory, models of computer security

Contributions

POPL 2020 Recurrence Extraction for Functional Programs through Call-by-Push-Value
Show activities from other conferences

POPL 2020-profile
View general profile