CCS400 Advanced Programming Languages

This course covers functional and logic programming, concepts of programming language design, and formal reasoning about programs and programming languages. The key topics include: ML/OCaml, operational, axiomatic and denotational semantics, fixpoints and logic programming.