conf.researchr.org / Ulf Norell
![Ulf Norell](https://conf.researchr.org/getProfileImage/ulfnorell/0290a540-5927-428c-aa35-0440cd14c182/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
Registered user since Thu 18 Oct 2018
Contributions