Releases · alcestes/effpi · GitHub

8000 Releases · alcestes/effpi · GitHub

More Web Proxy on the site http://driver.im/

17 Jul 06:54

alcestes

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

Assets 2

0