View in EDS HTML Full Text PDF Full Text

Call-by-value and call-by-name: A simple proof of a classic theorem.

Saved in:

Bibliographic Details
Title:	Call-by-value and call-by-name: A simple proof of a classic theorem.
Authors:	BIERNACKI, DARIUSZ¹ (AUTHOR), MCKINNA, JAMES² (AUTHOR), SIECZKOWSKI, FILIP³ (AUTHOR)
Source:	Journal of Functional Programming. 2025, Vol. 35, p1-13. 13p.
Database:	Mathematics Source
Full text is not displayed to guests. Login for full access.

Description
ISSN:	09567968
DOI:	10.1017/S0956796825100038