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