𝔖 Bobbio Scriptorium
✦   LIBER   ✦

[Lecture Notes in Computer Science] Applied Semantics Volume 2395 || Monads and Effects

✍ Scribed by Barthe, Gilles; Dybjer, Peter; Pinto, Luís; Saraiva, João

Book ID
115490260
Publisher
Springer Berlin Heidelberg
Year
2002
Weight
608 KB
Category
Article
ISBN
3540440445

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Appl
[Lecture Notes in Computer Science] Applied Semantics Volume 2395 || An Introduction to Dependent Type Theory
✍ Barthe, Gilles; Dybjer, Peter; Pinto, Luís; Saraiva, João 📂 Article 📅 2002 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 369 KB

This Book Presents Nine Thoroughly Reviewed And Revised Advanced Lectures Given At A Graduate-level Summer School In Caminha, Portugal, In September 2000--jacket. An Introduction To Dependent Type Theory / Gilles Barthe And Thierry Coquand -- Monads And Effects / Nick Benton, John Hughes, And Eugeni

[Lecture Notes in Computer Science] Appl
[Lecture Notes in Computer Science] Applied Semantics Volume 2395 || The Join Calculus: A Language for Distributed Mobile Programming
✍ Barthe, Gilles; Dybjer, Peter; Pinto, Luís; Saraiva, João 📂 Article 📅 2002 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 534 KB

This book is based on material presented at the international summer school on Applied Semantics that took place in Caminha, Portugal, in September 2000. We aim to present some recent developments in programming language research, both in semantic theory and in implementation, in a series of graduat