Cooma: Security properties via capabilities as implicit arguments

The aim of the Cooma project is to investigate secure programming language design by using implicit arguments to provide fine-grained object capabilities with low notational overhead.

Object capabilities mean that access to an object equates to possession of a capability represented by the object such as access to privileged data. Arguments to functions and object constructors express the dependence of code on capabilities.