![Ulf Norell](https://popl24.sigplan.org/getProfileImage/ulfnorell/62eebc41-e333-4811-bc8d-dd3cade4d4a6/small.jpg?1711488355000)
Registered user since Thu 18 Oct 2018
Name:Ulf Norell
Country:Sweden
Affiliation:Gothenburg University
Research interests:type theory, functional programming, dependently typed programming
Contributions
POPL 2024-profile
View general profile
View general profile