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

Random walks generated using Python 3
Online

Using Python for Research

Take your introductory knowledge of Python programming to the next level and learn how to use Python 3 for your research.

Price
Free*
Registration Deadline
Available now
CS50W
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