Detail

Publication date: 28 de March, 2022

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


Journal ACM Transactions on Programming Languages and Systems
Publisher ACM
Volume 43
Number 2
Pub. Date 10/06/2022