Articles details

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

10 Jun 2022

Journal: ACM Transactions on Programming Languages and Systems

Publisher: ACM

Authors: Bernardo Toninho, Nobuko Yoshida

Editors:

Volume: 43

Number: 2

Issn:

Isbn:

Url: https://dl.acm.org/doi/10.1145/3457884

Notes:

Bibtex Key:

DOI:

Pages: 1 to 55

Publication Date: 10 Jun 2022