Skip to content

Gradual-Typing/LambdaIFCStar

Error
Looks like something went wrong!

About

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

homes.luddy.indiana.edu/chen512/lambdaifcstar-html/

Topics

semantics agda formalization coercion meta-theory gradual-typing information-flow type-systems noninterference

Resources

Readme
Activity
Custom properties

Stars

4 stars

Watchers

1 watching

Forks

1 fork
Report repository

Releases 5

v2.1 Latest
May 24, 2024
+ 4 releases

Packages

No packages published

Contributors 2

  •  
  •  

Languages