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

Prerequisites: CSE major, CSE 501 which may be taken concurrently, and CSE 505.
Credits: 4.0

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