Advanced Topics in Programming LanguagesCatalog 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.
Portions of the CSE 506 Web may be reprinted or adapted for academic nonprofit purposes, providing the source is accurately quoted and duly credited. The CSE 506 Web: © 1993-2007, Department of Computer Science and Engineering, University of Washington. Administrative information on CSE506 (authentication required).