Session details: Type systems
Abstract
Recommendations
Context-Free Session Type Inference
Special Issue on ESOP 2017 and Regular PapersSome interesting communication protocols can be precisely described only by context-free session types, an extension of conventional session types supporting a general form of sequential composition. The complex metatheory of context-free session types, ...
Session details: Oral Session 3: Multimedia Applications (Oral presentations)
ICMR '17: Proceedings of the 2017 ACM on International Conference on Multimedia RetrievalLinear type theory for asynchronous session types
Session types support a type-theoretic formulation of structured patterns of communication, so that the communication behaviour of agents in a distributed system can be verified by static typechecking. Applications include network protocols, business ...
Comments
Information & Contributors
Information
Published In
![cover image ACM Conferences](/cms/asset/b36fbfc1-a256-4437-a8b4-935e3a8e35cb/1596627.cover.jpg)
Sponsors
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Check for updates
Qualifiers
- Section
Conference
Acceptance Rates
Upcoming Conference
- Sponsor:
- sigplan
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 0Total Downloads
- Downloads (Last 12 months)0
- Downloads (Last 6 weeks)0
Other Metrics
Citations
View Options
Get Access
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in