Open AccessContext-Free Session Type Inference
Author(s) -
Luca Padovani
Publication year - 2019
Publication title -
acm transactions on programming languages and systems
Language(s) - Uncategorized
Resource type - Journals
SCImago Journal Rank - 0.233
H-Index - 70
eISSN - 1558-4593
pISSN - 0164-0925
DOI - 10.1145/3229062
Subject(s) - computer science , session (web analytics) , type inference , programming language , context (archaeology) , metatheory , metaprogramming , inference , syntax , functional programming , theoretical computer science , artificial intelligence , world wide web , paleontology , biology
Some 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 compositio...
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom