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.

Internal and Observational Parametricity for Cubical Agda

Antoine Van Muylder, Andreas Nuyts, Dominique Devriese. Internal and Observational Parametricity for Cubical Agda. Proceedings of the ACM on Programming Languages, 8(POPL):209-240, January 2024. [doi]

Authors

Antoine Van Muylder

This author has not been identified. Look up 'Antoine Van Muylder' in Google

Andreas Nuyts

This author has not been identified. Look up 'Andreas Nuyts' in Google

Dominique Devriese

This author has not been identified. Look up 'Dominique Devriese' in Google
runs on