![Ulf Norell](https://icfp22.sigplan.org/getProfileImage/ulfnorell/33302ad1-20c6-4065-a49f-9c751d21d0ff/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
ICFP 2022-profile
View general profile
View general profile