Coursera
Coursera Logo

Programming Languages II 

  • Offered byCoursera

Programming Languages II
 at 
Coursera 
Overview

Duration

11 hours

Start from

Start Now

Total fee

Free

Mode of learning

Online

Official Website

Explore Free Course External Link Icon

Credential

Certificate

Programming Languages II
 at 
Coursera 
Highlights

  • Earn a Certificate upon completion
Details Icon

Programming Languages II
 at 
Coursera 
Course details

Skills you will learn
More about this course
  • 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

Programming Languages II
 at 
Coursera 
Curriculum

Week 1

1-1 Continuations

1-2 Continuation Passing Style

1-3 Small-Step Operational Semantics

1-4 First-Class Continuations

Week 1 Review Quiz

Week 2

2-1 First-Order Representation of Continuations

2-2 Low-Level Representations of Interpreters

2-3 Big-Step Semantics of KFAE

Week 2 Review Quiz

Week 3

3-1 Types

3-2 Type Rules

3-3 TFAE

3-4 TPFAE

Week 3 Review Quiz

Week 4

4-1 TRFAE

4-2 TVFAE

4-3 Type Checking TVFAE

Week 4 Review Quiz

Week 5

5-1 Type Inference

5-2 Type Unification

5-3 Type Checking TIFAE

Week 5 Review Quiz

Week 6

6-1 Parametric Polymorphism

6-2 Subtype Polymorphism (I)

6-3 Subtype Polymorphism (II)

Week 6 Review Quiz

Final Exam

Final Exam

Programming Languages II
 at 
Coursera 
Admission Process

    Important Dates

    May 25, 2024
    Course Commencement Date

    Other courses offered by Coursera

    – / –
    3 months
    Beginner
    – / –
    20 hours
    Beginner
    – / –
    2 months
    Beginner
    – / –
    3 months
    Beginner
    View Other 6715 CoursesRight Arrow Icon
    qna

    Programming Languages II
     at 
    Coursera 

    Student Forum

    chatAnything you would want to ask experts?
    Write here...