Theory-of-Programming-Languages-Subject In each folder you will find an implementation of the WHILE language (expressions, natural semantics, structural semantics and extended version).