Picture for Michael Kirkedal Thomsen

Michael Kirkedal Thomsen

Tail recursion transformation for invertible functions

Add code
Feb 20, 2023
Viaarxiv icon

Jeopardy: An Invertible Functional Programming Language

Add code
Sep 06, 2022
Figure 1 for Jeopardy: An Invertible Functional Programming Language
Figure 2 for Jeopardy: An Invertible Functional Programming Language
Figure 3 for Jeopardy: An Invertible Functional Programming Language
Viaarxiv icon