Deriving a Simple Gradual Security Language

Ronald Garcia, Éric Tanter

Abstracting Gradual Typing (AGT) is an approach to systematically deriving gradual counterparts to static type disciplines. The approach consists of defining the semantics of gradu…