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)

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

Reviews

No reviews yet. Want to be the first?

Register to leave a review

Show?id=n3eliycplgk&bids=695438
NVIDIA
More on this topic:
6-827f02 Multithreaded Parallelism: Languages and Compilers
The topics covered in this course include: Languages and compilers to exploit...
2462_459c_5 CS 107: Programming Paradigms
Programming Paradigms (CS107) introduces several programming languages, including...
111712_d7d9_7 C Programming For Beginners
Learn C in ten easy steps on Windows, Mac OS X or Linux
Course-logo Beginning Game Programming with C#
Start learning how to program video games using the C# programming language...
49592_6edb_3 Learn Computer Programming for App Development: C Programming
C programming in easy to follow lessons.
More from 'Mathematics, Statistics and Data Analysis':
Ef5dcb87-b65b-46a6-bb2a-c5a3f7807845-7cb915944555.small Engineering Calculus and Differential Equations
Learn fundamental concepts of single-variable calculus and ordinary differential...
20fedd71-34f4-4084-9fde-49f5d2d224a5-2f0bdb8c45f3.small Microsoft Professional Capstone : Big Data
Validate the skills you learned in the Microsoft Professional Program for Big...
07bd7954-0593-43cb-b0c4-0f18f5c25ee1-a5d93e120a6d.small Microsoft Professional Capstone : Data Science
Solve a real-world data science problem in this capstone project for the Microsoft...
86814127-5973-4549-884e-c8d6ea3514cb-8092d5a682f0.small Microsoft Professional Capstone : Artificial Intelligence
Solve a real-world artificial intelligence problem in this capstone project...
520f308b-128f-4d2c-af91-f646e1e312a8-df630e95f440.small Microsoft Professional Capstone: Data Analysis
Showcase the knowledge you acquired in the Data Analysis MPP in this Capstone...
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