Login

Publication

Detail

Publication date: 14/04/2018

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

Authors

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)