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, DAAN¹ (AUTHOR), LORENZEN, ANTON FELIX² (AUTHOR)
Source:	Journal of Functional Programming. 2025, Vol. 35, p1-68. 68p.
Database:	Mathematics Source
Full text is not displayed to guests. Login for full access.

Be the first to leave a comment!