Automatically Introducing Tail Recursion in CakeML (Q5056071)

From MaRDI portal
scientific article; zbMATH DE number 7631576
Language Label Description Also known as
English
Automatically Introducing Tail Recursion in CakeML
scientific article; zbMATH DE number 7631576

    Statements