Topic Brief: This video was recorded at Scala Days Lausanne 2019 Follow us on Twitter or visit our website for more information ... A simple but complete set of algebraic laws is given for a basic language (e.g., at the level of boogie).
Declarative Concurrent Programming With Join Calculus -
This video was recorded at Scala Days Lausanne 2019 Follow us on Twitter or visit our website for more information ... A simple but complete set of algebraic laws is given for a basic language (e.g., at the level of boogie). This is an extended version of the talk given at Scale by the Bay 2017 ...
Important details found
- This video was recorded at Scala Days Lausanne 2019 Follow us on Twitter or visit our website for more information ...
- A simple but complete set of algebraic laws is given for a basic language (e.g., at the level of boogie).
- This is an extended version of the talk given at Scale by the Bay 2017 ...
Why this topic is useful
The goal of this page is to make Declarative Concurrent Programming With Join Calculus easier to scan, compare, and understand before opening related resources.
Frequently Asked Questions
What should readers check next?
Readers should check related pages, official references, or updated sources when details matter.
Why are related topics included?
Related topics help readers compare nearby references and understand the broader subject.
What is this page about?
This page summarizes Declarative Concurrent Programming With Join Calculus and connects it with related entries, references, and supporting context.
![[ICFP'25] Fusing Session-Typed Concurrent Programming into Functional Programming](https://i.ytimg.com/vi/hjoZZRfrHKE/mqdefault.jpg)
