Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456 CS303 Types in Programming Languages: Spring 2006
Course description:
Exploration of theory and practice of types in application to programming languages.
Principal topics include type safety, type reconstruction, polymorphism, subtyping,
constraint types, and practicality of various approaches.
Approach:
The course will be taught in a seminar style, without tests or homeworks per se.
Coursework will consist of class presentations of assigned material, and
participation in discussions.
Prerequisites: The following courses are useful, though not required,
prerequisites:
MATH 54 Fundamentals of Mathematics of Computation