Finn Teegen

Registered user since Sun 15 Jan 2017

Name:Finn Teegen
Affiliation:University of Kiel, Germany
Research interests:Programming Languages, Declarative Programming


Haskell 2021 Author of Haskell⁻¹: Automatic Function Inversion in Haskell within the Haskell 2021-track
‹Programming› 2019 Author of One Monad to Prove Them All within the Research Papers-track
PADL 2018 Author of Probabilistic Functional Logic Programming within the PADL 2018-track