The Agda mechanization of a gradual security-typed programming language with general mutable references.
Primary LanguageAgda