Understanding Gradual Session Types
Exploring Gradual Session Types reveals several interesting facts. Presenter: Peter Thiemann.
Key Takeaways about Gradual Session Types
- This talk introduces a new
- CSF 2021
- ... Thursday, 19 July 2018,
- At the 23rd International Symposium on Practical Aspects of Declarative Languages (PADL 2021), Bhargav Shivkumar (SUNY ...
- Authors: Giuseppe Castagna, Victor Lanvin.
Detailed Analysis of Gradual Session Types
Concurrent and distributed systems are unwieldy, and many of the patterns we program them with are informally characterized. A breakdown of a one on one Paper and supplementary material: https://popl19.sigplan.org/event/popl-2019-research-papers-
Announcing the 2017 Executive
Stay tuned for more updates related to Gradual Session Types.