Verifying message-passing programs with dependent behavioural types.

Alceste Scalas, Nobuko Yoshida, Elias Benussi

Browse the full PLDI paper archive.