Some exercises for the course "Types and Programming Languages" of Computer Science Department, University of Crete; in OCaml.
- Homework 1: Some introductory exercises in OCaml, mainly focused on lists manipulation.
- Homework 2: A lambda calculus interpreter, based on the framework provided by prof. Pratikakis (lectuer). My contribution is located in
homework2.ml, where the fundamental operations of lambda calculus (beta-reduction etc.) are defined, in OCaml. - Homework 3: A type checker for typed lambda calculus, based on the framework provided by prof. Pratikakis (lectuer). My contribution is located in
homework3.ml, where the basic type rules are defined.