![]() |
![]() |
|
COMS 6998 007 Types, Languages and Compilers Spring 2023 |
Class meets Mondays, 4:10 - 6:40 PM in 451 CSB.
Name | Office hours | Location | |
---|---|---|---|
Prof. Stephen A. Edwards | sedwards@cs.columbia.edu | By appt. | Online |
Wei Qiang | wq2167@columbia.edu | ||
Emily Sillars | ems2331@columbia.edu |
An advanced course on modern programming language and type theory with a focus on functional languages and concrete implementations. The goal is to become fluent in the concepts and formalisms typical of papers in conferences such as POPL.
Prerequisites: COMS 4115 Programming Languages and Translators; COMS 3203 Discrete Mathematics; COMS 3261 Computer Science Theory. Equivalents acceptable.
You'll perform a design-it-yourself project in the second half of the class.
Robert Harper. |
![]() |
Benjamin C. Pierce. |
![]() |
Shriram Krishnamurthi. |
![]() |
Glynn Winskel |
![]() |