New Post: Oberon compiler theory