Context-Free Session Type Inference

Luca Padovani. Context-Free Session Type Inference. ACM Transactions on Programming Languages and Systems, 41(2), 2019. [doi]

Abstract

Abstract is missing.