✦ LIBER ✦

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

✍ Scribed by Russo, Claudio; Zhou, Neng-Fa

Book ID: 120083512
Publisher: Springer Berlin Heidelberg
Year: 2012
Weight: 322 KB
Category: Article
ISBN: 3642276946
DOI: 10.1007/978-3-642-27694-1_1

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 || 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 7149 || A Declarative Specification of Tree-Based Symbolic Arithmetic Computations

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

[Lecture Notes in Computer Science] Prac

[Lecture Notes in Computer Science] Practical Aspects of Declarative Languages Volume 7149 || Palovca: Describing and Executing Graph Algorithms in Haskell

✍ Russo, Claudio; Zhou, Neng-Fa 📂 Article 📅 2012 🏛 Springer Berlin Heidelberg ⚖ 272 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] Decl

[Lecture Notes in Computer Science] Declarative Agent Languages and Technologies X Volume 7784 || Semantic Web and Declarative Agent Languages and Technologies: Current and Future Trends

✍ Baldoni, Matteo; Dennis, Louise; Mascardi, Viviana; Vasconcelos, Wamberto 📂 Article 📅 2013 🏛 Springer Berlin Heidelberg ⚖ 126 KB

[Lecture Notes in Computer Science] Adva

[Lecture Notes in Computer Science] Advances in Artificial Intelligence Volume 7094 || Modular Natural Language Processing Using Declarative Attribute Grammars

✍ Batyrshin, Ildar; Sidorov, Grigori 📂 Article 📅 2011 🏛 Springer Berlin Heidelberg ⚖ 222 KB