CS 6118 - [Types and Semantics]

Fall. Next offered 2015-2016. 4 credits.

Enrollment limited to: graduate standing or permission of instructor.

R. Tate.

The types of a language and the semantics of a language are closely connected. Understanding the interplay between the two can help one formalize existing languages or design new ones. The class covers concepts that apply to general-purpose languages as well as domain-specific languages such as for graphics, databases, logic, and systems.