Finn Teegen

Identifiers

No identifiers captured yet.

Papers (3)

1. A Monadic Implementation of Functional Logic Programs cs.PL · 2026 · author #3
2. Implementing a Library for Probabilistic Programming using Non-strict Non-determinism cs.PL · 2019 · author #3
3. Synthesizing Set Functions cs.PL · 2018 · author #3

Mentions

No mention provenance yet.

Frequent Coauthors

• Michael Hanus 2 shared papers
• Jan Christiansen 1 shared papers
• Kai-Oliver Prott 1 shared papers
• Sandra Dylus 1 shared papers
• Sergio Antoy 1 shared papers