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

Bernardo Toninho, Nobuko Yoshida,

Publisher	Springer
Book title	27th European Symposium on Programming (ESOP 2018)
Publisher	Springer
Book title	27th European Symposium on Programming (ESOP 2018)

Publication