Later credits: resourceful reasoning for the later modality

Authors :: Spies, S.
Gäher, L.
Tassarotti, J.
Jung, R.
Krebbers, R.J.
Birkedal, L.
Dreyer, D.
Spies, S.
Gäher, L.
Tassarotti, J.
Jung, R.
Krebbers, R.J.
Birkedal, L.
Dreyer, D.
Source :: Proceedings of the ACM on Programming Languages; 1; 29; 2475-1421; ICFP; 6; 100; ~Proceedings of the ACM on Programming Languages~1~29~~~2475-1421~ICFP~6~~100
Publication Year :: 2022
Abstract: Contains fulltext : 253548.pdf (Publisher’s version ) (Open Access)

Database :: OAIster
Journal :: Proceedings of the ACM on Programming Languages; 1; 29; 2475-1421; ICFP; 6; 100; ~Proceedings of the ACM on Programming Languages~1~29~~~2475-1421~ICFP~6~~100
Publication Type :: Electronic Resource
Accession number :: edsoai.on1377097397
Document Type :: Electronic Resource