Formal Programming Language Theory - Final Report