Principles of Programming Languages

Logistics

Professor: Venkatesh Chopella

Grading Scheme

• Logistics
  • Grading Scheme
• Upcoming Deadlines
• Material
  • Books
  • Course Pages
  • Lectures
    • Lecture 1
    • Lecture 2
    • Lecture 3
    • Lecture 4
    • Lecture 5
    • Lecture 6
    • Lecture 7
    • Lecture 8
    • Lecture 9
    • Lecture 10
    • Lecture 11
    • Lecture 12
    • Lecture 13
    • Lecture 14
    • Lecture 15
    • Lecture 16

Upcoming Deadlines

• Functional Language (21st October 23:55) hw06
• Bisimilarity (29th September 23:55) hw05
• Lexical Interpreter (22nd September 23:59) hw04
• Arithmetic Language (8th September 23:59) hw03
• Functional programming in Elm (1st September) hw02
• Functional programming in Racket (25th August) hw01

Material

Books

• Essentials of Programming Languages
• How to Design Programs

Course Pages

Main course page

• Gitlab classroom page
• Guidelines for assignments
• Demo assignment

Lectures

Lecture 1

notes

• [O] Reading assignment:
  • Course Objectives
  • The Racket Guide, Chapters 1-6:
  • How to Design Programs, Chapters 1-5
  • Essentials of Programming Languages Chapter 1, Foreword

Lecture 2

notes

• Reading assignment:
  • Literate programming

Lecture 3

On lexical scope and higher-order functions

link to lecture 3

notes

• Reading assignment:
  • Currying I don’t get the point (of examples)
  • Higher Order Functions Still a bit confused
  • Functional Programming Yeeep

Lecture 4

link to lecture 4

notes

• Reading assignment:
  • Streams I’m so lost
  • Evaluation in Racket

Lecture 5

link to lecture 5

notes

• Reading assignment:
  • AST & Unparsing

Lecture 6

link to lecture 6

notes

• Reading assignment:
  • Coinduction and Term Graphs : Induction

Lecture 7

link to lecture 7

notes

• Reading assignment:
  • Coinduction and Term Graphs : Coinductive terms, behaviour

Lecture 8

link to lecture 8

notes

• Reading assignment:
  • None

Lecture 9

link to lecture 9

notes

• Reading assignment:
  • Coinduction and Term Graphs : Bisimulation

Lecture 10

link to lecture 10

notes

• Reading assignment:
  • Addition interaction semantics: notes
  • Addition interaction semantics: board
  • Addition interaction semantics: example

Lecture 11

link to lecture 11

notes

• Reading assignment:
  • Abstract reduction systems
  • Abstract reduction systems: board
  • TRaAT: Chapters 1, Sec 2.1

Lecture 12

link to lecture 12

notes

• Reading assignment:
  • TRaAT: 2.2, 2.7

Lecture 13

link to lecture 13

notes

• Reading assignment:
  • Essentials of Programming Languages Chapter 2
  • Addition language
  • Interpreter for addition
  • Notes on IF+/
  • Addition: board work

Lecture 14

link to lecture 14

notes

• Reading assignment:
  • Essentials of Programming Languages Chapter 2 Sec 3.2
  • Essentials of Programming Languages Chapter 2 Sec 3.1
  • Notes on lexical scope
  • Notes on dynamic scope recursion
  • Scope: board work

Lecture 15

link to lecture 15

notes

• Reading assignment:
  • Essentials of Programming Languages Chapter 2 Sec 3.3
  • Notes on closures
  • Lexical and functional board work

Lecture 16

link to lecture 16

notes

• Reading assignment:
  • Essentials of Programming Languages Chapter 2 Sec 3.4
  • Essentials of Programming Languages Chapter 2 Sec 3.5