Northwestern Engineering
- About
- Academics
- Research & Faculty
- Offices & Services
- Information for:
- Students
- Faculty & Staff
- Alumni
- Companies
- News & Events
- Contact & Visit

About
- About the Department
- Message from the Chair
Quick Links
- Careers
Academics
Quick Links
- Student Resources
Research
CS+X
The Power of CS
By bringing the power of computer science to fields such as journalism, education, robotics, and art, Northwestern University computer scientists are exponentially accelerating research and innovation. Watch our video above or learn more at the link below.
Learn more
People
News & Events
Quick Links
- Weekly Bulletin
Contact

Academics
/
Courses
/
Descriptions
COMP_SCI 496: Intro to Type Systems

VIEW ALL COURSE TIMES AND SESSIONS

Prerequisites

Permission of Instructor

Description

Coming soon....

This course fulfills the Technical Elective area.

COURSE COORDINATORS: Prof. Robby Findler

COURSE INSTRUCTOR: Prof. Robby Findler