ETAPS 2017

2017 European Joint Conferences on Theory and Practice of Software (ETAPS), April 22–29, 2017, Uppsala, Sweden

Desktop Layout

Session Types
ESOP
Sal B
Context-Free Session Type Inference
Luca Padovani
(University of Turin, Italy)
Best-Paper Award Nominee
Publisher's Version
Preprint
Supplementary Material

Author:


Time stamp: 2019-07-20T14:10:05+02:00