Depending on Session-Typed Processes.

Bernardo Toninho, Nobuko Yoshida

Browse the full FOSSACS paper archive.