Brand Objects for Nominal Typing (Artifact)

Authors Timothy Jones, Michael Homer, James Noble

Thumbnail PDF

Artifact Description

  • Filesize: 305 kB
  • 2 pages

Document Identifiers

Author Details

Timothy Jones
Michael Homer
James Noble

Cite AsGet BibTex

Timothy Jones, Michael Homer, and James Noble. Brand Objects for Nominal Typing (Artifact). In Special Issue of the 29th European Conference on Object-Oriented Programming (ECOOP 2015). Dagstuhl Artifacts Series (DARTS), Volume 1, Issue 1, pp. 4:1-4:2, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2015)



In Brand Objects for Nominal Typing, we describe an implementation of a branding system for both runtime and static types. This artifact provides the extended form of Hopper, an interpreter for the Grace programming language, and extra modules which define both the dynamic objects and the modular static type checker. The extra modules extend the existing structural type checker in the provided version of Hopper, and are capable of statically checking code which interacts with statically determinable declarations of brand objects, including singleton brand constructors, brand sums, and dynamic variables which are known to contain some brand value at runtime. The dynamic brand objects extend this behaviour to the runtime, enforcing non-static contracts and allowing runtime type testing.
  • brands
  • types
  • structural
  • nominal
  • Grace


  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    PDF Downloads