Brand Objects for Nominal Typing (Artifact)

Timothy Jones, Michael Homer, James Noble. Brand Objects for Nominal Typing (Artifact). DARTS, 1(1), 2015. [doi]

Abstract

Abstract is missing.