"Functions as Session-Typed Processes."

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