Learn More

Course description

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.

Learn More

Instructors

Nada Amin

Assistant Professor of Computer Science, Harvard University
Enroll now. Learn More

You may also like

CS50W
Programming
Online

CS50's Web Programming with Python and JavaScript

This course picks up where CS50 leaves off, diving more deeply into the design and implementation of web apps with Python, JavaScript, and SQL using frameworks like Django, React, and Bootstrap.
Price
Free*
Duration
12 weeks long
Registration Deadline
Available now