Structural Subtyping as Parametric Polymorphism

Wenhao Tang, Daniel Hillerström, James McKinna, Michel Steuwer, Ornela Dardha, Rongxiao Fu, Sam Lindley

Research output: Contribution to journalArticlepeer-review

50 Downloads (Pure)

Fingerprint

Dive into the research topics of 'Structural Subtyping as Parametric Polymorphism'. Together they form a unique fingerprint.

INIS

Computer Science

Biochemistry, Genetics and Molecular Biology