This repository is used for public exposure of course material for the course on "Programming Language Theory" at University of Koblenz-Landau by Ralf Laemmel.