✦ LIBER ✦

[Lecture Notes in Computer Science] Practical Aspects of Declarative Languages Volume 1990 || Design and Implementation of the High-Level Specification Language CSP(LP) in Prolog

✍ Scribed by Ramakrishnan, I. V.

Book ID: 121310187
Publisher: Springer Berlin Heidelberg
Year: 2001
Weight: 229 KB
Category: Article
ISBN: 3540452419
DOI: 10.1007/3-540-45241-9_2

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 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 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 || 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 4354 || The Joins Concurrency Library

✍ Hanus, Michael 📂 Article 📅 2006 🏛 Springer Berlin Heidelberg ⚖ 612 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 || Palovca: Describing and Executing Graph Algorithms in Haskell

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