BrandObjects-Jones2015 ConferenceProceedings European Conference on Object-Oriented Programming Brand Objects for Nominal Typing 2015 https://michael.homer.nz/Publications/ECOOP2015 Jones Timothy Homer Michael Noble James