Understanding Gradual Session Types
Exploring Gradual Session Types reveals several interesting facts. Presenter: Peter Thiemann.
Key Takeaways about Gradual Session Types
- Concurrent and distributed systems are unwieldy, and many of the patterns we program them with are informally characterized.
- Paper and supplementary material: ...
- CSF 2021
- Message-passing concurrency abstracts over the details of how programs are compiled to machine instructions and has been ...
- At the 23rd International Symposium on Practical Aspects of Declarative Languages (PADL 2021), Bhargav Shivkumar (SUNY ...
Detailed Analysis of Gradual Session Types
Paper and supplementary material: https://popl19.sigplan.org/event/popl-2019-research-papers- This talk introduces a new Type
Paper and supplementary material: https://popl19.sigplan.org/event/popl-2019-research-papers-
Stay tuned for more updates related to Gradual Session Types.