Finn Teegen
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
3
Active years
2018–2023
Best venue rank
C
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2023 | PADL | Embedding Functional Logic Programming in Haskell via a Compiler Plugin. | Kai-Oliver Prott, Finn Teegen, Jan Christiansen |
| 2022 | PPDP | A Monadic Implementation of Functional Logic Programs. | Michael Hanus, Kai-Oliver Prott, Finn Teegen |
| 2021 | HASKELL | Haskell⁻¹: automatic function inversion in Haskell. | Finn Teegen, Kai-Oliver Prott, Niels Bunkenburg |
| 2021 | PPDP | From Non-determinism to Goroutines: A Fair Implementation of Curry in Go. | Jonas Bhm, Michael Hanus, Finn Teegen |
| 2018 | PADL | Probabilistic Functional Logic Programming. | Sandra Dylus, Jan Christiansen, Finn Teegen |