This is a temporary website. For now, please refer to the following materials.
- A brief overview of Effpi (4 pages);
- A. Scalas, N. Yoshida, E. Benussi. Verifying message-passing programs with dependent behavioural types. PLDI 2019 (to appear). This paper describes the theoretical foundations of Effpi, and evaluates its implementation. Effpi has been reviewed and accepted as companion artifact of the paper.
To obtain Effpi's source code (via Git):
git clone https://www.doc.ic.ac.uk/~ascalas/tmp/pldi19/effpi.git
- Instructions and requirements: how to build Effpi, its software dependencies, how to reproduce the benchmarks in the PLDI'19 paper, and how to navigate Effpi's source code.
- A ready-to-use virtual machine with all Effpi's software dependencies. For details, please read the instructions above.