Finn Teegen

Publication Activity (10 Years)

Years Active: 2018-2023
Publications (10 Years): 18

Top Topics

Logic Programming

Procedural Semantics

Top Venues

Publications

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