YoVDO

Programming Languages Ⅰ

Offered By: Korea Advanced Institute of Science and Technology via Coursera

Tags

Programming Languages Courses Scala Courses Data Structures Courses Semantics Courses Lambda Calculus Courses

Course Description

Overview

The goal of this course is to help students: 1. learn new languages quickly, 2. evaluate various languages and pick the most suitable one for a given task, 3. know when and how to design a little language, and 4. understand the effects of languages on thought and communication. We will study programming language concepts, not as paradigms but as a set of basic building blocks, by 1) implementing interpreters for the concepts using the Scala programming language and 2) rigorously discussing the concepts using the operational semantics.

Syllabus

  • Programming Languages: Syntax and Semantics
  • Programming Languages with Identifiers
  • First-Order Functions and First-Class Functions
  • Lambda Calculus and Recursive Functions
  • Mutable Data Structures and Variables
  • Garbage Collection and Lazy Evaluation
  • Final Exam

Taught by

Sukyoung Ryu

Tags

Related Courses

Meaning Representation for Natural Language Understanding - Mariana Romanyshyn - ODSC Europe 2019
Open Data Science via YouTube
Propositions as Types
Strange Loop Conference via YouTube
The Road to Akka Cluster, and Beyond
Strange Loop Conference via YouTube
Making a Computer Turing Complete
Ben Eater via YouTube
Fun with the Lambda Calculus
GOTO Conferences via YouTube