Publication

A Type-and-Effect System for Object Initialization