Finn Teegen

According to our database, Finn Teegen authored at least 13 papers between 2018 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2023

Embedding Functional Logic Programming in Haskell via a Compiler Plugin.

Kai-Oliver Prott, Finn Teegen, Jan Christiansen

Proceedings of the Practical Aspects of Declarative Languages, 2023

2022

A Monadic Implementation of Functional Logic Programs.

Michael Hanus, Kai-Oliver Prott, Finn Teegen

Proceedings of the PPDP 2022: 24th International Symposium on Principles and Practice of Declarative Programming, Tbilisi, Georgia, September 20, 2022

2021

From Non-determinism to Goroutines: A Fair Implementation of Curry in Go.

Jonas Böhm, Michael Hanus, Finn Teegen

Proceedings of the PPDP 2021: 23rd International Symposium on Principles and Practice of Declarative Programming, 2021

Haskell⁻¹: automatic function inversion in Haskell.

Finn Teegen, Kai-Oliver Prott, Niels Bunkenburg

Proceedings of the Haskell 2021: Proceedings of the 14th ACM SIGPLAN International Symposium on Haskell, 2021

2020

Implementing a Library for Probabilistic Programming Using Non-strict Non-determinism.

Sandra Dylus, Jan Christiansen, Finn Teegen

Theory Pract. Log. Program., 2020

Research Summary on Implementing Functional Patterns by Synthesizing Inverse Functions.

Finn Teegen

Proceedings of the Proceedings 36th International Conference on Logic Programming (Technical Communications), 2020

Memoized Pull-Tabbing for Functional Logic Programming.

Michael Hanus, Finn Teegen

Proceedings of the Functional and Constraint Logic Programming, 2020

2019

One Monad to Prove Them All.

Sandra Dylus, Jan Christiansen, Finn Teegen

Art Sci. Eng. Program., 2019

Adding Data to Curry.

Michael Hanus, Finn Teegen

Proceedings of the Declarative Programming and Knowledge Management, 2019

Structured Traversal of Search Trees in Constraint-Logic Object-Oriented Programming.

Jan C. Dageförde, Finn Teegen

Proceedings of the Declarative Programming and Knowledge Management, 2019

2018

One Monad to Prove Them All (Functional Pearl).

Jan Christiansen, Sandra Dylus, Finn Teegen

CoRR, 2018

Synthesizing Set Functions.

Sergio Antoy, Michael Hanus, Finn Teegen

Proceedings of the Functional and Constraint Logic Programming, 2018

Probabilistic Functional Logic Programming.

Sandra Dylus, Jan Christiansen, Finn Teegen

Proceedings of the Practical Aspects of Declarative Languages, 2018