Static Sessional Dataflow
No abstract available.
Related papers
- Haskell session types with (almost) no class Haskell 2008
- Static deadlock detection for concurrent go by global session graph synthesis CC 2016
- Gradual session types ICFP 2017
- A simple library implementation of binary sessions JFP 2017
- Communication-Sensitive Static Dataflow for Parallel Message Passing Applications CGO 2009
- Talking bananas: structural recursion for session types ICFP 2016
- Array dataflow analysis for polyhedral X10 programs PPoPP 2013
- Embedding session types in Haskell Haskell 2016