✦ LIBER ✦

[Lecture Notes in Computer Science] Static Analysis Volume 864 || Stackability in the simply-typed call-by-value lambda calculus

✍ Scribed by Charlier, Baudouin

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Prog

✍ Seidl, Helmut 📂 Article 📅 2012 🏛 Springer Berlin Heidelberg ⚖ 287 KB

[Lecture Notes in Computer Science] Type

✍ Della Rocca, Simona Ronchi 📂 Article 📅 2007 🏛 Springer Berlin Heidelberg ⚖ 387 KB

[Lecture Notes in Computer Science] Comp

✍ Dalen, Dirk; Bezem, Marc 📂 Article 📅 1997 🏛 Springer Berlin Heidelberg ⚖ 770 KB

[Lecture Notes in Computer Science] Rece

✍ Haveraaen, Magne; Owe, Olaf; Dahl, Ole-Johan 📂 Article 📅 1996 🏛 Springer Berlin Heidelberg ⚖ 312 KB

[Lecture Notes in Computer Science] Logi

✍ Ong, Luke; Queiroz, Ruy 📂 Article 📅 2012 🏛 Springer Berlin Heidelberg ⚖ 293 KB