1. A Monadic Implementation of Functional Logic Programs;Proceedings of the 24th International Symposium on Principles and Practice of Declarative Programming;2022-09-20
2. Research Summary on Implementing Functional Patterns by Synthesizing Inverse Functions;Electronic Proceedings in Theoretical Computer Science;2020-09-19
3. Combining Static and Dynamic Contract Checking for Curry;Fundamenta Informaticae;2020-03-31
4. ICurry;Declarative Programming and Knowledge Management;2020
5. Non-linear Pattern Matching with Backtracking for Non-free Data Types;Programming Languages and Systems;2018