On Polymorphic Sessions and Functions - A Tale of Two (Fully Abstract) Encodings.

Bernardo Toninho, Nobuko Yoshida

Browse the full ESOP paper archive.