Functions as Session-Typed Processes.

Bernardo Toninho, Lus Caires, Frank Pfenning

Browse the full FOSSACS paper archive.