Efficient Implementation of Open Types

Open types have been presented earlier as an alternative data model for imperative programming languages that overcomes several limitations of traditional record- and class-based models. The basic idea is to separate typ