Material for the course Programming Languages II
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.
- Software Foundations, Benjamin C. Pierce et al. (Volumes I and II)
- Program = Proof, Samuel Mimram
- Types and Programming Languages, Benjamin C. Pierce
For instructions on installing the Coq proof assistant, refer to INSTALL.md (in Greek).