COMP SCI 538 - INTRODUCTION TO THE THEORY AND DESIGN OF PROGRAMMING LANGUAGES