Automatically Introducing Tail Recursion in CakeML

DOI10.1007/978-3-319-89719-6_7zbMath1505.68004OpenAlexW2755587846MaRDI QIDQ5056071

Oskar Abrahamsson, Magnus O. Myreen

Publication date: 9 December 2022

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-89719-6_7

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20) Functional programming and lambda calculus (68N18)

Related Items (2)

Counterexample-guided partial bounding for recursive function synthesis ⋮ The verified CakeML compiler backend

Cites Work

• Unnamed Item
• A Transformation System for Developing Recursive Programs
• The verified CakeML compiler backend
• CakeML

This page was built for publication: Automatically Introducing Tail Recursion in CakeML