Introduction to modern programming techniques and programming language features and the theory used to describe and define programming languages, using types as the organizational principle.
MSC11 6325
1 University of New Mexico
Albuquerque, NM 87131
(505) 277-8900
Phone: (505) 277-6809
Fax: