Course Summary

The course is designed to acquaint graduate students and senior undergraduate students with basic ideas behind modern programming language design. Topics include type systems, language-based security, concurrency, semantics and proof assistants.

Short programming assignments and paper critiques. Each student will also select one research paper and present it in class. A midterm exam and a final project.

Prerequisites

  • CSE 109: Systems Programming
  • CSE 262: Programming Languages

Textbook

Types and Programming Languages by Benjamin Pierce. We have put a copy of the textbook on reserve in the FM library.

Course category

Compilers/Languages/Software Systems

Contacts

Instructor: Gang Tan; Packard Lab 329;

Email: gtan AT cse DOT lehigh DOT edu;

Office hours: Thursdays 10:30-12 or by appointment

News

HW1 is announced

Course policy

Please see the PDF file.

Time and location

TTh 9:20-10:35am; 475 Maginnes Hall