GitHub repository: stepchowfun/long-distance-interaction
Primary language: TeX
Created: 2017-04-25T04:30:47Z
Description: To be submitted to POPL 2018.