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]
@article{SpiesGTJKBD22,
title = {Later credits: resourceful reasoning for the later modality},
author = {Simon Spies and Lennard Gäher and Joseph Tassarotti and Ralf Jung 0002 and Robbert Krebbers and Lars Birkedal and Derek Dreyer},
year = {2022},
doi = {10.1145/3547631},
url = {https://doi.org/10.1145/3547631},
researchr = {https://researchr.org/publication/SpiesGTJKBD22},
cites = {0},
citedby = {0},
journal = {Proceedings of the ACM on Programming Languages},
volume = {6},
number = {ICFP},
pages = {283-311},
}