Ulf Norell -

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

2024

POPL

Committee Member in Program Committee within the POPL-track

2022

Haskell

Author of Reasonable Agda is Correct Haskell: Writing Verified Haskell using agda2hs within the Haskell 2022-track

2019

ICFP

Committee Member in External Review Committee within the Research Papers-track

Scala

Committee Member in Program Committee within the Scala 2019-track

2017

Haskell

Committee Member in Program Committee within the Haskell 2017-track