Simon Spies, Lennard Gäher, Joseph Tassarotti, Ralf Jung 0002, Robbert Krebbers, Lars Birkedal, Derek Dreyer. Later credits: resourceful reasoning for the later modality. Proceedings of the ACM on Programming Languages, 6(ICFP):283-311, 2022. [doi]
Abstract is missing.