CS550 - Programming Languages and Systems
(Programming Paradigms, Semantics)
A course on current trends in design and philosophy of programming languages and systems. In particular, the course covers topics in programming paradigms (logic programming, functional programming, constraint programming) and semantics. Concepts, theoretical foundations, and programming practice will be addressed.
