@ FII

Principles of Programming Languages (2025 - 2026)

Back to main
Curriculum
Motivation and description
Useful links and Bibliography
Course Description
- RO - Fisa disciplinei
- EN - Course Programme

People

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

Schedule

Weekly activities

PLAN
Week 1
Week 2
- Preliminaries
- Slides
- Lab
Week 3
- Polymorphism. Higher-Order Functions. Logic in Lean: HTML, PDF
- Slides
- Lab
Week 4
- Lecture notes
- Slides
- Lab
Homework
- Deadline: 21.11.2025, 23h59
- Submit here: https://forms.gle/4QghMwXYCDNrSLkEA
Week 5
- Lecture notes
- Slides
- Lab
Week 6
- Lecture notes
- Slides
- Lab
Week 7
- Lecture notes
- Slides
- Lab
Week 8
- DEADLINE predare tema: 21.11.2025, 23h59
- Submit here: https://forms.gle/4QghMwXYCDNrSLkEA
Week 9
- Lecture notes
- Slides
- Lab
Week 10
- National holiday
- Bonus only from Lab 9
Week 11
- Lecture notes
- Slides
- Lab
Week 12
- Lecture notes
- Slides
- Lab
Week 13
- Lecture notes
- Slides
- Lab
Week 14
- Lecture notes
- Slides
- Lab

Project

Details:
- Design and implement an interpreter for a custom programming language
- Implementation language: your choice (e.g., Python, Java, C++, OCaml, Haskell, Rust)
- Deliverables:
  - Language specification document (containing syntax, semantics, type system, and a brief report explaining design decisions)
  - Working interpreter with test suite
  - User documentation with code examples
- Evaluation criteria:
  - Language design (15p): expressiveness, coherence, novel features
  - Implementation quality (15p): correctness, code organization, error handling
  - Documentation (10p): clarity of specification and examples
  - Complexity (10p): advanced features (type inference, higher-order functions, etc.)
- Recommended language features to consider, but can be different:
  - Core: variables, arithmetic/logical expressions, control flow (if/while)
  - Intermediate: functions, recursion, data structures (lists, records)
  - Advanced: closures, type checking, pattern matching, modules
- Submission deadline: week 14, end of labs
- Maximum points: 50
- Consult your lab teacher on design and implementation questions
Project deadline(s):
- Group 1: January 12, 20h00
- Group 2: January 14, 12h00
Submit here https://forms.gle/F1d4bQBGaFLjFkaP8

Useful links and Bibliography

Learn Lean 4

[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. Springer link.

[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.

[Top]