Skip to content

reference for Principles of Programming Languages course, Politecnico di Milano, A.Y. 2023/2024

License

Notifications You must be signed in to change notification settings

lorossi/principles-of-programming-languages-reference

Repository files navigation

Principles of Programming Languages Reference

This repository contains the reference material for the course "Principles of Programming Languages" by professor Pradella at Politecnico di Milano. Furthermore, it contains some snippets of code and examples that could be useful for the understanding of the course (or, at least, were for me).

All the material is licensed under the Attribution Share Alike 4.0 International license. Inside the PDF you can find the license and the list of contributors.

Compiling the PDF and contributing

The PDF is generated using latexmk. There are no special needs or care to be taken, just run latexmk (or whatever LaTeX compiler suits your needs) in the root directory of the repository.

I tried so hard to remove all errors and typos from the document, but I'm sure there are still some. If you find any, please open an issue or a pull request. Also, if you want to contribute with new content, examples, or anything else, feel free to open a pull request!

License

This work is licensed under the Attribution Share Alike 4.0 International license. See the LICENSE file for more information.