Powered by
Proceedings of the ACM on Programming Languages, Volume 6, Number ICFP,
September 11–16, 2022,
Ljubljana, Slovenia
Frontmatter
Papers
Later Credits: Resourceful Reasoning for the Later Modality
Simon Spies
![ORCID logo](images/orcid.svg)
, Lennard Gäher
![ORCID logo](images/orcid.svg)
, Joseph Tassarotti
![ORCID logo](images/orcid.svg)
, Ralf Jung
![ORCID logo](images/orcid.svg)
,
Robbert Krebbers ![ORCID logo](images/orcid.svg)
,
Lars Birkedal ![ORCID logo](images/orcid.svg)
, and
Derek Dreyer
(MPI-SWS, Germany; New York University, USA; Massachusetts Institute of Technology, USA; Radboud University Nijmegen, Netherlands; Aarhus University, Denmark)
Publisher's Version
Artifacts Reusable
proc time: 6.04