Bernardo Toninho, Nobuko Yoshida. On Polymorphic Sessions and Functions: A Tale of Two (Fully Abstract) Encodings. ACM Transactions on Programming Languages and Systems, 43(2), 2021. [doi]
@article{ToninhoY21, title = {On Polymorphic Sessions and Functions: A Tale of Two (Fully Abstract) Encodings}, author = {Bernardo Toninho and Nobuko Yoshida}, year = {2021}, doi = {10.1145/3457884}, url = {https://doi.org/10.1145/3457884}, researchr = {https://researchr.org/publication/ToninhoY21}, cites = {0}, citedby = {0}, journal = {ACM Transactions on Programming Languages and Systems}, volume = {43}, number = {2}, }