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

Bernardo Toninho, Lus Caires, Frank Pfenning

Browse the full ESOP paper archive.