![Ulf Norell](https://icfp19.sigplan.org/getProfileImage/ulfnorell/dd61d199-eead-41d5-9a08-c5288c9cd6f6/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 2019-profile
View general profile
View general profile