Policy as Types

Lucius G Meredith, Mike Stay, Sophia Drossopoulou

Drossopoulou and Noble argue persuasively for the need for a means to express policy in object-capability-based systems. We investigate a practical means to realize their aim via t…