LangSec

On the Generality and Convenience of Etypes

Ethos' Deeply Integrated Distributed Types