Context-Free Session Type Inference

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

Authors

Luca Padovani

This author has not been identified. Look up 'Luca Padovani' in Google