Write a Blog >>
ICFP 2016
Sun 18 - Sat 24 September 2016 Nara, Japan
Wed 21 Sep 2016 15:55 - 16:20 at Noh Theater - Session 11 Chair(s): Alejandro Russo

Session types describe structured communication on heterogeneously
typed channels at a high level.
Their tail-recursive structure imposes a protocol that can be
described by a regular language.
The types of transmitted values are drawn from the underlying
functional language, abstracting from the
details of serializing values of structured data types.

Context-free session types extend session types by allowing nested
protocols that are not restricted to tail recursion. Nested protocols
correspond to deterministic context-free languages. Such protocols are
interesting in their own right, but they are particularly suited to
describe the low-level serialization of tree-structured data in a
type-safe way.

We establish the metatheory of context-free session types, prove that
they properly generalize standard (two-party) session
types, and take first steps towards type checking by showing
that type equivalence is decidable.

Wed 21 Sep
Times are displayed in time zone: (GMT+09:00) Osaka, Sapporo, Tokyo change

icfp-2016-papers
15:05 - 16:20: Research Papers - Session 11 at Noh Theater
Chair(s): Alejandro RussoChalmers University of Technology
icfp-2016-papers15:05 - 15:30
Talk
Sam LindleyUniversity of Edinburgh, UK, J. Garrett MorrisUniversity of Edinburgh, UK
DOI
icfp-2016-papers15:30 - 15:55
Talk
J. Garrett MorrisUniversity of Edinburgh, UK
DOI
icfp-2016-papers15:55 - 16:20
Talk
Peter ThiemannUniversity of Freiburg, Germany, Vasco Thudichum Vasconcelos
DOI