Tail recursion modulo context: an equational approach (extended version)

DOI10.1017/S0956796825100117MaRDI QIDQ6895006zbMATH OpenFDO

Authors Daan Leijen, Anton Felix Lorenzen

Publication date 25 November 2025

Published in Journal of Functional Programming (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

This page was built for publication: Tail recursion modulo context: an equational approach (extended version)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6895006)