Unifying nominal and structural typing

Thomas Kühne. Unifying nominal and structural typing. Software and Systems Modeling, 18(3):1683-1697, 2019. [doi]

Abstract

Abstract is missing.