Call-by-value and call-by-name: A simple proof of a classic theorem.
Saved in:
| Title: | Call-by-value and call-by-name: A simple proof of a classic theorem. |
|---|---|
| Authors: | BIERNACKI, DARIUSZ1 (AUTHOR), MCKINNA, JAMES2 (AUTHOR), SIECZKOWSKI, FILIP3 (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.
|
|
Be the first to leave a comment!