Name:Ulf Norell

Country:Sweden

Affiliation:Gothenburg University

Research interests:type theory, functional programming, dependently typed programming