𝔖 Bobbio Scriptorium
✦   LIBER   ✦

[Lecture Notes in Computer Science] Programming Languages and Systems Volume 7211 || The Call-by-Need Lambda Calculus, Revisited

✍ Scribed by Seidl, Helmut

Book ID
111899332
Publisher
Springer Berlin Heidelberg
Year
2012
Weight
287 KB
Category
Article
ISBN
3642288693

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

[Lecture Notes in Computer Science] Prog
[Lecture Notes in Computer Science] Programming Languages and Systems Volume 6012 || Testing Polymorphic Properties
✍ Gordon, Andrew D. πŸ“‚ Article πŸ“… 2010 πŸ› Springer Berlin Heidelberg 🌐 German βš– 269 KB

Annotation. This Book Constitutes The Refereed Proceedings Of The 19th European Symposium On Programming, Esop 2010, Held In Paphos, Cyprus, In March 2010, As Part Of Etaps 2010, The European Joint Conferences On Theory And Practice Of Software. The 30 Revised Full Papers, Presented Together With Tw

[Lecture Notes in Computer Science] Prog
[Lecture Notes in Computer Science] Programming Languages and Systems Volume 2986 || Functors for Proofs and Programs
✍ Schmidt, David πŸ“‚ Article πŸ“… 2004 πŸ› Springer Berlin Heidelberg 🌐 German βš– 164 KB

This Volume Contains The 28 Papers Presented At Esop 2004, The 13th European Symposium On Programming, Which Took Place In Barcelona, Spain, March 29– 31, 2004. The Esop Series Began In 1986 With The Goal Of Bridging The Gap Between Theory And Practice, And The Conferences Continue To Be Devoted To