- Assignment 1 : Sets in Prolog
- Assignment 2 : Type checker in Prolog
- Assignment 3 : Lexer with Ocamllex
- Assignment 4 : Parser with Ocamlyacc
- Assignment 5 : Most General Unifier
- Assignment 6 : The SECD Machine
- Assignment 7 : The Krivine Machine
- Assignment 8 : A Prolog Enterpreter
- Programming Languages (Prof. S. Arun Kumar)
- OCAML from the very Beginning (Ocaml software Foundation)
- Programming in Prolog (Clocksin & Mellish)
- Programming Language Pragmatics (Michael L. Scott)
- Algrithms + Data Structures = Programs (Niklaus Wirth)