This project is my TIPE (Travail d'Initiative Personnelle Encadré = Supervised Personal Initiative Work), a project that is part of the entrance examination to the French engineer schools.
I focused on the System F (aka. polymorphic lambda calculus) typed lambda calculus and its applications in the field of software verification and validation. During this project, I have written an interpreter and type checker for an implementation of System F in OCaml.
I will find a project report with screenshots and more detailed informations here