TY - JOUR AU - Ernst, Erik PY - 2008/01/01 Y2 - 2024/03/29 TI - First-Class Object Sets JF - DAIMI Report Series JA - DPB VL - 37 IS - 589 SE - Articles DO - 10.7146/dpb.v37i589.7224 UR - https://tidsskrift.dk/daimipb/article/view/7224 SP - AB - Abstract. Typically, objects are monolithic entities with a fixed interface. To increase the flexibility in this area, this paper presents first-class object sets as a language construct. An object set offers an interface which is a disjoint union of the interfaces of its member objects. It may also be used for a special kind of method invocation involving multiple<br />objects in a dynamic lookup process. With support for feature access and late-bound method calls object sets are similar to ordinary objects, only more flexible. The approach is made precise by means of a small calculus, and the soundness of its type system is shown by a mechanically checked proof in Coq. ER -