✦ LIBER ✦

Call-by-name, Call-by-value, Call-by-need, and the Linear Lambda Calculus

✍ Scribed by John Maraist; Martin Odersky; David N. Turner; Philip Wadler

Publisher: Elsevier Science
Year: 1995
Tongue: English
Weight: 1011 KB
Volume: 1
Category: Article
ISSN: 1571-0661
DOI: 10.1016/s1571-0661(04)00022-2

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Call-by-name, call-by-value, call-by-nee

Call-by-name, call-by-value, call-by-need and the linear lambda calculus

✍ J. Maraist; M. Odersky; D.N. Turner; P. Wadler 📂 Article 📅 1999 🏛 Elsevier Science 🌐 English ⚖ 206 KB

Call-by-name, call-by-value, call-by-nee

Call-by-name, call-by-value, call-by-need and the linear lambda calculus : John Maraist, Martin Odersky, David N. Turner and Philip Wadler http://www.elsevier.nl/locate/entcs/volume1/maraist

📂 Article 📅 1995 🏛 Elsevier Science 🌐 English ⚖ 80 KB

Call-by-value, call-by-name, and strong

Call-by-value, call-by-name, and strong normalization for the classical sequent calculus

✍ Stéphane Lengrand 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 958 KB

Space-Profiling Semantics of the Call-by

Space-Profiling Semantics of the Call-by-Value Lambda Calculus and the CPS Transformation

✍ Yasuhiko Minamide 📂 Article 📅 1999 🏛 Elsevier Science 🌐 English ⚖ 807 KB

Correctness of Monadic State: An Imperat

Correctness of Monadic State: An Imperative Call-by-Need Calculus

✍ Zena Ariola; Amr Sabry 📂 Article 📅 1998 🏛 Elsevier Science 🌐 English ⚖ 31 KB

System T, call-by-value and the minimum

System T, call-by-value and the minimum problem

✍ Loïc Colson; Daniel Fredholm 📂 Article 📅 1998 🏛 Elsevier Science 🌐 English ⚖ 855 KB

It is shown that for Giidels system T, evaluated call-by-value, if an algorithm computes a non-trivial binary function (where trivial means constant or projection plus constant), then the time-complexity is at least linear in one of the inputs. This is in contrast to the call-by-name case. As a coro