View in EDS HTML Full Text PDF Full Text

Tail recursion modulo context: An equational approach (extended version).

Saved in:
Bibliographic Details
Title: Tail recursion modulo context: An equational approach (extended version).
Authors: LEIJEN, DAAN1 (AUTHOR), LORENZEN, ANTON FELIX2 (AUTHOR)
Source: Journal of Functional Programming. 2025, Vol. 35, p1-68. 68p.
Database: Mathematics Source
Full text is not displayed to guests.
Description
ISSN:09567968
DOI:10.1017/S0956796825100117