Course focuses on one of the declarative programming paradigms: functional, logica, or constraint programming. Specialized techniques are introduced with a view towards general principles. Selected advanced topics in programming language design and implementation are covered.
Prerequisite: 251L
News & Events | People | Academics | Research | Jobs | Companies | Visitors | Computer Facilities | Home
