Wikimedia Commons has media related to Programming language theory.