Gradual-Typing
Popular repositories Loading
-
-
LambdaIFCStar
LambdaIFCStar PublicThe Agda mechanization of a gradual security-typed programming language with general mutable references.
Agda 3
-
Repositories
Showing 10 of 12 repositories
- LambdaIFCStar Public
The Agda mechanization of a gradual security-typed programming language with general mutable references.
Gradual-Typing/LambdaIFCStar’s past year of commit activity - lambda-sec Public archive
Gradual-Typing/lambda-sec’s past year of commit activity - Equivalence-of-Cast-Calculi Public
Gradual-Typing/Equivalence-of-Cast-Calculi’s past year of commit activity