Security-Typing

Implementation of many typed standard lambda calculus language with experimental purposes.

Implemented languages:

1.- STLC
2.- STLC + Mutation
3.- STLC + Dynamic (Gradual Typing)
4.- STLC + Security
5.- STLC + Security + Mutation
6.- STLC + Security + Dynamic Label (Gradual Security Typing)
7.- STLC + Security + Dynamic Range Label + Mutation (Gradual Security Typing with mutation.)