Finn Teegen

18 papers C 5Journal 8Unranked 5
YearRankTypeTitle / Venue / Authors
2023 C conf
Embedding Functional Logic Programming in Haskell via a Compiler Plugin.
PADL
Kai-Oliver Prott, Finn Teegen, Jan Christiansen
2022 C conf
A Monadic Implementation of Functional Logic Programs.
PPDP
Michael Hanus, Kai-Oliver Prott, Finn Teegen
2021 C conf
From Non-determinism to Goroutines: A Fair Implementation of Curry in Go.
PPDP
Jonas Böhm, Michael Hanus, Finn Teegen
2021 C conf
Haskell⁻¹: automatic function inversion in Haskell.
Haskell
Finn Teegen, Kai-Oliver Prott, Niels Bunkenburg
2020 J jnl
Implementing a Library for Probabilistic Programming Using Non-strict Non-determinism.
Theory Pract. Log. Program.
Sandra Dylus, Jan Christiansen, Finn Teegen
2020 — conf
Memoized Pull-Tabbing for Functional Logic Programming.
WFLP
Michael Hanus, Finn Teegen
2020 J jnl
Memoized Pull-Tabbing for Functional Logic Programming.
CoRR
Michael Hanus, Finn Teegen
2020 — conf
Research Summary on Implementing Functional Patterns by Synthesizing Inverse Functions.
ICLP Technical Communications
Finn Teegen
2019 — conf
Adding Data to Curry.
DECLARE
Michael Hanus, Finn Teegen
2019 J jnl
Adding Data to Curry.
CoRR
Michael Hanus, Finn Teegen
2019 J jnl
Implementing a Library for Probabilistic Programming using Non-strict Non-determinism.
CoRR
Sandra Dylus, Jan Christiansen, Finn Teegen
2019 J jnl
One Monad to Prove Them All.
Art Sci. Eng. Program.
Sandra Dylus, Jan Christiansen, Finn Teegen
2019 — conf
Structured Traversal of Search Trees in Constraint-Logic Object-Oriented Programming.
DECLARE
Jan C. Dageförde, Finn Teegen
2019 J jnl
Structured Traversal of Search Trees in Constraint-logic Object-oriented Programming.
CoRR
Jan C. Dageförde, Finn Teegen
2018 J jnl
One Monad to Prove Them All (Functional Pearl).
CoRR
Jan Christiansen, Sandra Dylus, Finn Teegen
2018 C conf
Probabilistic Functional Logic Programming.
PADL
Sandra Dylus, Jan Christiansen, Finn Teegen
2018 — conf
Synthesizing Set Functions.
WFLP
Sergio Antoy, Michael Hanus, Finn Teegen
2018 J jnl
Synthesizing Set Functions.
CoRR
Sergio Antoy, Michael Hanus, Finn Teegen