✦ LIBER ✦

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

✍ Scribed by Rocha, Ricardo; Launchbury, John

Book ID: 120546081
Publisher: Springer Berlin Heidelberg
Year: 2011
Tongue: English
Weight: 508 KB
Edition: 1
Category: Article
ISBN: 3642183786
DOI: 10.1007/978-3-642-18378-2_15

No coin nor oath required. For personal study only.

✦ Synopsis

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 together with one application paper were carefully reviewed and selected from 40 submissions. The volume features a variety of contributions ranging from message-passing and mobile networks, concurrent and parallel programming, event processing and reactive programming, profiling and portability in Prolog, constraint programming, grammar combinators, belief set merging and work on new language extensions and tools.

📜 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 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] Prin

[Lecture Notes in Computer Science] Principles and Practice of Declarative Programming Volume 1702 || Constraint Programming in OPL

✍ Nadathur, Gopalan 📂 Article 📅 1999 🏛 Springer Berlin Heidelberg ⚖ 175 KB

[Lecture Notes in Computer Science] Modu

[Lecture Notes in Computer Science] Modular Programming Languages Volume 1897 || The Development of Procedural Programming Languages Personal Contributions and Perspectives

✍ Weck, Wolfgang; Gutknecht, Jürg 📂 Article 📅 2000 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 86 KB

Thecircleisclosed.The European Modula-2 Conference was originally launched with the goal of increasing the popularity of Modula-2, a programming language created by Niklaus Wirth and his team at ETH Zuric ¨ h as a successor of Pascal. For more than a decade, the conference has wandered through Europ