PaperMetrixEvidence-aware discovery
TR
Interface language English EN العربية AR Türkçe TR
Create account
Researcher profile

Finn Teegen

1 paper in the PaperMetrix corpus

Publications

Papers by this author

  1. 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 …