Academics

  /  

Courses

  /  

Descriptions

COMP_SCI 496: Intro to Type Systems

VIEW ALL COURSE TIMES AND SESSIONS

Prerequisites

Permission of Instructor

Description

This course presents an introduction to type systems. We will study the formal foundations of type systems, exploring how they are specified and what properties hold for them. This is a course aimed at PhD students, although undergraduates interested in the programming languages research area are also welcome.

• This course fulfills the Technical Elective area.

COURSE COORDINATORS: Prof. Robby Findler

COURSE INSTRUCTOR: Prof. Robby Findler