TY - RPRT TI - Making Concurrency Functional AU - Glynn Winskel PY - 2023 UR - https://arxiv.org/abs/2202.13910 ID - 2202.13910 ER -