Programming Languages

Stephen Chong, PhD, Assistant Professor of Computer Science, Harvard University., Harvard Extension School

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. The recorded lectures are from the School of Engineering and Applied Sciences course Computer Science 152.
Prerequisites: CSCI E-51; CSCI E-121 is recommended. Students must have good programming skills, be comfortable with recursion, basic mathematical ideas, and notations, including sets, relations, functions, and mathematical induction. (4 credits)

  • 28 January 2014
Course properties:
  • Free:
  • Paid:
  • Certificate:
  • MOOC:
  • Video:
  • Audio:
  • Email-course:
  • Language: English Gb


No reviews yet. Want to be the first?

Register to leave a review

More on this topic:
6-005f11 Elements of Software Construction (Fall 2011)
This course introduces fundamental principles and techniques of software development...
6-821f02 Programming Languages
6.821 teaches the principles of functional, imperative, and logic programming...
82328_0f61_6 Learn VB.NET with Microsoft Visual Studio 2013
With Early Introduction to OOP (Reviews are From Old Version of Course)
120820_46e9_7 Programming for Complete Beginners in C#
Learning to code C#? We have provided HD video lectures, live coding sessions...
2462_459c_5 CS 107: Programming Paradigms
Programming Paradigms (CS107) introduces several programming languages, including...
More from 'Mathematics, Statistics and Data Analysis':
Fd92782d-f46f-401b-97d3-fc7bb0266c6f-0a0ff9ae9928.small Calculus 1C: Coordinate Systems & Infinite Series
Master the calculus of curves and coordinate systems—approximate functions...
Ef2fc3ac-b0bc-4004-bd30-d610832d0cdd-b971c6b5f47b.small Statistical Learning
Learn some of the main tools used in statistical modeling and data science....
C9029c9f-aa9d-47d6-8c90-5da04e3e3f6e-a0707b962579.small Thinking Critically: Interpreting Randomized Clinical Trials
This course seeks to fulfill the clinical community’s need to improve skills...
04736418-d7e3-4063-89d6-42e7704f9bb1-b506fd9a42c3.small Data Analytics and Visualization in Health Care
Learn best practices in data analytics, informatics, and visualization to gain...
E81f6532-4055-416f-936b-07ee0846af27-f4e23acaf1ae.small High Performance Finite Element Modeling
Learn how to make cutting edge adaptive FEM simulations from top researchers...
More from 'Harvard Extension School':
Extensionflag Abnormal Psychology
We examine a variety of mental disorders from several different theoretical...
Math222 Abstract Algebra
Algebra is the language of modern mathematics. This course introduces students...
Extensionflag Abstraction and Design in Computation
This course covers abstraction and design in computation. Topics include...
Extensionflag Academic Writing and Critical Reading
This course introduces students to the demands and conventions of academic...
Extensionflag Adult Development
This course explores adulthood—the latter two-thirds to three-quarters...

© 2013-2019