✦ LIBER ✦

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

✍ Scribed by Yasuhiko Minamide

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

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

✍ 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

✍ John Maraist; Martin Odersky; David N. Turner; Philip Wadler 📂 Article 📅 1995 🏛 Elsevier Science 🌐 English ⚖ 1011 KB

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

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