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 |
| Journal | ACM Transactions on Programming Languages and Systems |
|---|---|
| Publisher | ACM |
| Volume | 43 |
| Number | 2 |
| Pub. Date | 10/06/2022 |