Finn Teegen -

Registered user since Sun 15 Jan 2017

Name:Finn Teegen

Country:Germany

Affiliation:University of Kiel, Germany

Research interests:Programming Languages, Declarative Programming

Contributions

2023

Symposium on Practical Aspects of Declarative Languages

Author of Embedding Functional Logic Programming in Haskell via a Compiler Plugin within the PADL 2023-track

2021

Haskell

Author of Haskell⁻¹: Automatic Function Inversion in Haskell within the Haskell 2021-track

2019

‹Programming›

Author of One Monad to Prove Them All within the Research Papers-track

2018

Symposium on Practical Aspects of Declarative Languages

Author of Probabilistic Functional Logic Programming within the PADL 2018-track