PLDI 2019 artifact
Pre-release
Pre-release
This version of Effpi is the companion artifact of the paper:
- Alceste Scalas, Nobuko Yoshida, Elias Benussi. Verifying Message-Passing Programs with Dependent Behavioural Types. PLDI 2019. https://doi.org/10.1145/3314221.3322484