gradual-typing / lambdaifcstar Goto Github PK
View Code? Open in Web Editor NEWThe Agda mechanization of a gradual security-typed programming language with general mutable references.
Home Page: https://homes.luddy.indiana.edu/chen512/lambdaifcstar-html/