articles
Detail
Publication date: 28 de March, 2022On 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 |