Programming Languages II

Material for the course Programming Languages II (course website).

Institution: National Technical University of Athens

Instructor: Zoe Paraskevopoulou

This course material is currently a work in progress. As the semester advances, content will be added, restructured, and updated.

References

• Software Foundations, Benjamin C. Pierce et al. (Volumes I and II)
• Program = Proof, Samuel Mimram
• Types and Programming Languages, Benjamin C. Pierce

Installation Instructions

For instructions on installing the Rocq proof assistant, refer to INSTALL.md (in Greek).