Principles of Programming Languages (Fall 2021)

Organisation - please read carefully!

Tools

The lectures will be online. We will use Webex.
- The Webex permanent link is here: Curs PLP.
- As a backup solution, please install Zoom.
The laboratories will be held onsite in room C309.
- For those who cannot join the onsite meetings: don't worry! We will discuss all these issues in the first lecture and we will probably organise online labs for you.
Please install Discord: it will be used for instant messaging, private chats, sharing connection links, etc.

IMPORTANT INFORMATION regarding Covid-19 safety measures

Please do not forget about the Covid-19 safety measures!
Read this document carefully: ORDIN_5196
If you feel sick, please stay home or go to the doctor.
If you have any Covid-19 related symptoms, please stay home or go to the doctor.
Make sure you keep a distance of at least 1m from each other and avoid spending time in crowded places or in groups.
Wear a mask the entire period when you are inside the buildings of the university.
Be ready to switch to full online activity if needed.

People

Lectures and labs: Andrei Arusoaie
Contact: andrei.arusoaie@uaic.ro

Schedule

Schedule

Links

Back to PLP (main page)
Course description
- PDF document in Romanian
- PDF document in English
Useful links and Bibliography
Coq Reference Manual
Weekly activities
- Week 1
  - Materials: Slides, Chapter 1 - Introduction from the lecture notes, Chapter 13 from [3] (check bibliography below)
  - Lab (in romanian): link
- Week 2
  - Materials: Slides, Chapter 2 - Basics (Sections 2.1 and 2.2) from the lecture notes, Chapter 1 from [1], Section Proof by Induction from [2] - Volume 1.
  - Lab (in romanian): link
- Week 3
  - Materials: Slides, Chapter 2 - Basics (Sections 2.3, 2.4, 2.5) from the lecture notes, Sections Polymorphism and Higher-Order Functions and Logic in Coq from [2] - Volume 1.
  - Lab (in romanian): link
- Week 4
  - Materials: Slides, Chapter 3 - Syntax from the lecture notes, Chapter 2 - How to Describe a Programming Language (Sections 2.1, 2.2, 2.3, 2.4) from [3].
  - Lab (in romanian): link
- Week 5
  - Materials: Slides, Chapter 4 - Semantics, Section 4.1 - An evaluator for IMP from the lecture notes, Volume 1, Section: An Evaluation Function for Imp from https://softwarefoundations.cis.upenn.edu/current/index.html.
  - Lab (in romanian): link
- Week 6
  - Materials: Slides, Chapter 4 - Semantics, Sections 4.2 and 4.3 from the lecture notes, Volume 1, Section: Evaluation as a relation from https://softwarefoundations.cis.upenn.edu/current/index.html.
  - Lab (in romanian): link
- Week 7
  - Materials: Slides, Chapter 4 - Semantics, Sections 4.4 and 4.5 from the lecture notes, Volume 2, Section: Small-step operational semantics from 2.
  - Lab (in romanian): link
- Week 8
  - Midterm exam.
- Week 9
  - Materials: Slides, Chapter 5 - Type systems from the lecture notes, Volume 2, Section: Type Systems from 2.
  - Lab (in romanian): link
- Week 10
  - Due to the interruption caused by the free days (November 30 and December 1), the lecture is cancelled.
  - Only the labs on Thursday will be held. We will discuss the midterm exam during these labs.
- Week 11
  - Materials: Slides, Chapter 6 - Compilation from the lecture notes, Volume 2, Section: A Small-Step Stack Machine from [2] link.
  - Lab (in romanian): link
- Week 12
  - Materials: Slides, Chapter 10 - The Object-Oriented Paradigm from 3.
  - Lab (in romanian): link
- Week 13
  - Materials: Chapter 7 - Untyped lambda calculus from the lecture notes, Chapter 11 - The Functional Paradigm from 3.
  - Lab (in romanian): link
- Week 14 - Final evaluation week
  - Online exam: Tuesday, January 11 , starting at 16h00.
  - The labs will be dedicated to final evaluation of your homeworks.

[Go to top]

Useful links and Bibliography

[1] Practical Foundations of Programming Languages, Robert Harper; Cambridge University Press, 2016. Online book

[2] Software Foundations - Vol 2, Benjamin C. Pierce, Arthur Azevedo de Amorim, Chris Casinghino, Marco Gaboardi, Michael Greenberg, Cătălin Hriţcu, Vilhelm Sjöberg, Andrew Tolmach, Brent Yorgey. Online book

[3] Programming Languages: Principles and Paradigms, Maurizio Gabbrielli, Simone Martini; Springer-Verlag London Limited, 2010. Online book.

[4] The formal semantics of Programming Languages – An Introduction, Glynn Winskell, 1993. The MIT Press, Cambridge, Massachusetts, ISBN 978-0-262-23169-5. Online book.