External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Later credits: resourceful reasoning for the later modality

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]

Authors

Simon Spies

This author has not been identified. Look up 'Simon Spies' in Google

Lennard Gäher

This author has not been identified. Look up 'Lennard Gäher' in Google

Joseph Tassarotti

This author has not been identified. Look up 'Joseph Tassarotti' in Google

Ralf Jung 0002

This author has not been identified. Look up 'Ralf Jung 0002' in Google

Robbert Krebbers

This author has not been identified. It may be one of the following persons: Look up 'Robbert Krebbers' in Google

Lars Birkedal

This author has not been identified. Look up 'Lars Birkedal' in Google

Derek Dreyer

This author has not been identified. Look up 'Derek Dreyer' in Google
runs on