Popl 2024 Accepted Papers. Welcome to the website of the 51st acm sigplan symposium on principles of programming languages (popl 2024). Wits 2024 is the third workshop on the implementation of type systems.
We seek submissions that make principled, enduring. In this paper, we propose a graph type system that allows for almost arbitrary combinations of futures and recursive data types.