/LambdaIFCStar

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

Primary LanguageAgda

No issues in this repository yet.