"Higher-Order Processes, Functions, and Sessions: A Monadic Integration."

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