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-2021, Department of Computer Science and Engineering, Univerity of Washington. Administrative information on CSEP506 (authentication required).