Principality and type inference for intersection types using expansion variables

A. J. Kfoury, J. B. Wells

Research output: Contribution to journalArticlepeer-review

46 Citations (Scopus)

Fingerprint Dive into the research topics of 'Principality and type inference for intersection types using expansion variables'. Together they form a unique fingerprint.

Engineering & Materials Science