CSEP506: 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.

Prerequisities: (none listed)

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