OCaml
A prototype in OCaml for my research about typing dynamic languages with parametric polymorphism and intersection types.
A generator of codes for achieving Arbitrary Code Execution in some Pokemon games.
A prototype in OCaml for my research about typing dynamic languages with parametric polymorphism and intersection types.
A generator of codes for achieving Arbitrary Code Execution in some Pokemon games.