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.

Capturing Types

Aleksander Boruch-Gruszecki, Martin Odersky, Edward Lee, Ondrej Lhoták, Jonathan Immanuel Brachthäuser. Capturing Types. ACM Transactions on Programming Languages and Systems, 45(4), December 2023. [doi]

Authors

Aleksander Boruch-Gruszecki

This author has not been identified. Look up 'Aleksander Boruch-Gruszecki' in Google

Martin Odersky

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

Edward Lee

This author has not been identified. Look up 'Edward Lee' in Google

Ondrej Lhoták

This author has not been identified. It may be one of the following persons: Look up 'Ondrej Lhoták' in Google

Jonathan Immanuel Brachthäuser

This author has not been identified. Look up 'Jonathan Immanuel Brachthäuser' in Google
runs on