Finn Teegen

Research Summary on Implementing Functional Patterns by Synthesizing Inverse Functions

2020 · Electronic Proceedings in Theoretical Computer Science

In this research summary we present our recent work on implementing functional patterns with inverse functions in the lazy functional-logic programming language Curry. Our goal is the synthesis of the inverse of any given function …