ICFP 2022
Sun 11 - Fri 16 September 2022 Ljubljana, Slovenia
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

Haskell 2022 Reasonable Agda is Correct Haskell: Writing Verified Haskell using agda2hs
Show activities from other conferences

ICFP 2022-profile
View general profile