✦ LIBER ✦

[Lecture Notes in Computer Science] Practical Aspects of Declarative Languages Volume 4354 || The Joins Concurrency Library

✍ Scribed by Hanus, Michael

Book ID: 121881230
Publisher: Springer Berlin Heidelberg
Year: 2006
Weight: 612 KB
Category: Article
ISBN: 3540696113
DOI: 10.1007/978-3-540-69611-7_17

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Prac

[Lecture Notes in Computer Science] Practical Aspects of Declarative Languages Volume 7149 || Recent Advances in Declarative Networking

✍ Russo, Claudio; Zhou, Neng-Fa 📂 Article 📅 2012 🏛 Springer Berlin Heidelberg ⚖ 322 KB

[Lecture Notes in Computer Science] Prac

[Lecture Notes in Computer Science] Practical Aspects of Declarative Languages Volume 2562 || Functional Hybrid Modeling

✍ Dahl, Veronica; Wadler, Philip 📂 Article 📅 2002 🏛 Springer Berlin Heidelberg ⚖ 175 KB

[Lecture Notes in Computer Science] Prac

[Lecture Notes in Computer Science] Practical Aspects of Declarative Languages Volume 7149 || Typing the Numeric Tower

✍ Russo, Claudio; Zhou, Neng-Fa 📂 Article 📅 2012 🏛 Springer Berlin Heidelberg ⚖ 236 KB

[Lecture Notes in Computer Science] Prac

[Lecture Notes in Computer Science] Practical Aspects of Declarative Languages Volume 8324 || A Declarative Specification of Giant Number Arithmetic

✍ Flatt, Matthew; Guo, Hai-Feng 📂 Article 📅 2014 🏛 Springer International Publishing ⚖ 284 KB

[Lecture Notes in Computer Science] Prac

[Lecture Notes in Computer Science] Practical Aspects of Declarative Languages Volume 6539 || The F# Asynchronous Programming Model

✍ Rocha, Ricardo; Launchbury, John 📂 Article 📅 2011 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 508 KB

This book constitutes the refereed proceedings of the 13th International Symposium on Practical Aspects of Declarative Languages, PADL 2011, held in Austin, TX, USA, in January 2011, co-located with POPL 2011, the Symposium on Principles of Programming Languages. The 17 revised full papers presented

[Lecture Notes in Computer Science] Prac

[Lecture Notes in Computer Science] Practical Aspects of Declarative Languages Volume 7149 || A Declarative Specification of Tree-Based Symbolic Arithmetic Computations

✍ Russo, Claudio; Zhou, Neng-Fa 📂 Article 📅 2012 🏛 Springer Berlin Heidelberg ⚖ 249 KB