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.

Structural Subtyping as Parametric Polymorphism

Wenhao Tang, Daniel Hillerström, James McKinna, Michel Steuwer, Ornela Dardha, Rongxiao Fu, Sam Lindley. Structural Subtyping as Parametric Polymorphism. Proceedings of the ACM on Programming Languages, 7(OOPSLA2):1093-1121, October 2023. [doi]

Authors

Wenhao Tang

This author has not been identified. Look up 'Wenhao Tang' in Google

Daniel Hillerström

This author has not been identified. Look up 'Daniel Hillerström' in Google

James McKinna

This author has not been identified. Look up 'James McKinna' in Google

Michel Steuwer

This author has not been identified. Look up 'Michel Steuwer' in Google

Ornela Dardha

This author has not been identified. Look up 'Ornela Dardha' in Google

Rongxiao Fu

This author has not been identified. Look up 'Rongxiao Fu' in Google

Sam Lindley

This author has not been identified. Look up 'Sam Lindley' in Google
runs on