"Functions as Session-Typed Processes."

Bernardo Toninho, Luís Caires, Frank Pfenning (2012)
a service of Schloss Dagstuhl - Leibniz Center for Informatics