ICFP 2021
Proceedings of the ACM on Programming Languages, Volume 5, Number ICFP

Title Page

Article: icfp21foreword-fm000-p (type: Frontmatter) doi:

Editorial Message

Article: icfp21foreword-fm001-p (type: Frontmatter) doi:

Sponsors

Article: icfp21foreword-fm003-p (type: Frontmatter) doi:

Client-Server Sessions in Linear Logic
Zesen Qian, G. A. Kavvos, and Lars Birkedal
(Aarhus University, Denmark; University of Bristol, UK)

Publisher's Version Distinguished Paper Article: icfp21main-p4-p (type: Full Paper) doi:10.1145/3473567