Advanced Topics in Programming Languages

Catalog Description: May include functional, object-oriented, parallel, and logic programming languages; semantics for languages of these kinds; type declaration, inference, and checking (including polymorphic types); implementation issues, such as compilation, lazy evaluation, combinators, parallelism, various optimization techniques. Implementation project required.

Portions of the CSEP 506 Web may be reprinted or adapted for academic nonprofit purposes, providing the source is accurately quoted and duly credited. The CSEP 506 Web: © 1993-2011, Department of Computer Science and Engineering, University of Washington. Administrative information on CSEP506 (authentication required).