Interpreter-imprementation with Ocaml(functional language) basic Ocaml grammar tail recursion lexical analysis abstract syntax tree first order value first class value conditional branch recursion interpreter mini C interpreter (address, pointer)