1. Inferring Non-failure Conditions for Declarative Programs;Lecture Notes in Computer Science;2024
2. A Monadic Implementation of Functional Logic Programs;Proceedings of the 24th International Symposium on Principles and Practice of Declarative Programming;2022-09-20
3. Research Summary on Implementing Functional Patterns by Synthesizing Inverse Functions;Electronic Proceedings in Theoretical Computer Science;2020-09-19
4. Combining Static and Dynamic Contract Checking for Curry;Fundamenta Informaticae;2020-03-31
5. ICurry;Declarative Programming and Knowledge Management;2020