Publication
Detail
Publication date: 10/06/2022On Polymorphic Sessions and Functions: A Tale of Two (Fully Abstract) Encodings
| URL | https://dl.acm.org/doi/10.1145/3457884 |
|---|---|
| Journal | ACM Transactions on Programming Languages and Systems |
| Publisher | ACM |
| Volume | 43 |
| Number | 2 |
| URL | https://dl.acm.org/doi/10.1145/3457884 |
| Journal | ACM Transactions on Programming Languages and Systems |
| Publisher | ACM |
| Volume | 43 |
| Number | 2 |