This course is an introduction to the theory, design, and implementation of programming languages. Topics covered in this course include formal semantics of programming languages (operational, axiomatic, denotational, and translational), type systems, higher-order functions and lambda calculus, lazy evaluations, continuations, dynamic types, monads, objects, modules, concurrency, and communication.
You may also like
- Explore the history of artificial intelligence and robotics and learn the science behind it.
- This course explores the use of the three most popular open source web-based content management systems—Wordpress, Joomla, and...