ECOOP 2019 (series) / Ulf Norell
![Ulf Norell](https://2019.ecoop.org/getProfileImage/ulfnorell/2fbcacc8-1bc8-40ec-ab5d-e56f018c23f0/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
ECOOP 2019-profile
View general profile
View general profile