| Publication | Date of Publication | Type |
|---|
| No unification variable left behind: fully grounding type inference for the HDM system | 2024-11-26 | Paper |
| Distributive disjoint polymorphism for compositional programming | 2023-11-24 | Paper |
| Structured handling of scoped effects | 2023-08-03 | Paper |
| Breadth-first traversal via staging | 2023-06-30 | Paper |
| Disjunctive delimited control | 2023-05-08 | Paper |
| Latent Effects for Reusable Language Components | 2023-03-29 | Paper |
| A functional account of probabilistic programming with possible worlds. Declarative pearl | 2022-08-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5020559 | 2022-01-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5014449 | 2021-12-02 | Paper |
| State will do | 2021-07-01 | Paper |
| Quantitative Information Flow with Monads in Haskell | 2021-02-16 | Paper |
| Syntax and Semantics for Operations with Scopes | 2021-01-20 | Paper |
| Explicit effect subtyping | 2020-09-09 | Paper |
| Handling local state with global state | 2020-05-05 | Paper |
| COCHIS: Stable and coherent implicits | 2019-11-22 | Paper |
| Explicit effect subtyping | 2019-09-13 | Paper |
| Formalization of a polymorphic subtyping algorithm | 2018-10-04 | Paper |
| Tabling as a library with delimited control | 2017-11-09 | Paper |
| Efficient algebraic effect handlers for Prolog | 2017-11-09 | Paper |
| Tabling with Sound Answer Subsumption | 2017-11-09 | Paper |
| From MinX to MinC: semantics-driven decompilation of recursive datatypes | 2016-10-24 | Paper |
| Proof Relevant Corecursive Resolution | 2016-04-04 | Paper |
| Fusion for Free | 2015-08-27 | Paper |
| Modular monadic meta-theory | 2015-03-30 | Paper |
| Type checking with open type functions | 2015-03-16 | Paper |
| Monads, zippers and views | 2015-03-05 | Paper |
| Search combinators | 2015-01-22 | Paper |
| Complete and decidable type inference for GADTs | 2015-01-06 | Paper |
| Meta-theory à la carte | 2014-11-27 | Paper |
| \textsc{Tor}: modular search with hookable disjunction | 2014-03-25 | Paper |
| Delimited continuations for prolog | 2014-02-27 | Paper |
| Automatic implication checking for CHR constraints | 2013-12-04 | Paper |
| An Introduction to Search Combinators | 2013-09-13 | Paper |
| MRI: Modular reasoning about interference in incremental programming | 2013-06-28 | Paper |
| <scp>OutsideIn(X)</scp>Modular type inference with local assumptions | 2013-04-24 | Paper |
| SWI-Prolog | 2012-06-25 | Paper |
| Strictness Meets Data Flow | 2010-10-01 | Paper |
| Haskell Type Constraints Unleashed | 2010-05-04 | Paper |
| Towards a Framework for Constraint-Based Test Case Generation | 2010-05-04 | Paper |
| A Transformational Approach for Proving Properties of the CHR Constraint Store | 2010-05-04 | Paper |
| As time goes by: Constraint Handling Rules | 2010-01-28 | Paper |
| Monadic constraint programming | 2009-11-25 | Paper |
| Attributed Data for CHR Indexing | 2009-07-24 | Paper |
| Guard Reasoning in the Refined Operational Semantics of CHR | 2009-03-26 | Paper |
| A Flexible Search Framework for CHR | 2009-03-26 | Paper |
| CHR for Imperative Host Languages | 2009-03-26 | Paper |
| Automatic Generation of Test Inputs for Mercury | 2009-03-24 | Paper |
| From Monomorphic to Polymorphic Well-Typings and Beyond | 2009-03-24 | Paper |
| The Correspondence Between the Logical Algorithms Language and CHR | 2009-03-05 | Paper |
| Towards Typed Prolog | 2009-01-22 | Paper |
| Transactions in Constraint Handling Rules | 2009-01-22 | Paper |
| TCHR: a framework for tabled CLP | 2008-07-23 | Paper |
| Principal Type Inference for GHC-Style Multi-parameter Type Classes | 2008-05-06 | Paper |
| Improving Prolog programs: Refactoring for Prolog | 2008-03-27 | Paper |
| Memory Reuse for CHR | 2008-03-11 | Paper |
| Optimal union-find in Constraint Handling Rules | 2007-03-08 | Paper |
| Improving PARMA trailing | 2007-02-13 | Paper |
| Logic Programming | 2006-06-27 | Paper |
| Logic Programming | 2006-06-27 | Paper |
| Logic Programming | 2005-08-26 | Paper |
| Logic Programming | 2005-08-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4809154 | 2004-08-12 | Paper |
