Repository containing the didactic material and three projects of Prof. Gian-Luigi Ferrari and Prof.ssa Chiara Bodei for the exam of Language Based Technology for Security of the Cybersecurity LM-66 Faculty 2020/2021 (University of Pisa).
Un interprete per un linguaggio funzionale simile a OCaml. Progetto finale dell'esame di Programmazione II anno 2018/19 (laurea in Informatica @ UniPisa)
Add a description, image, and links to the unipisa topic page so that developers can more easily learn about it.
To associate your repository with the unipisa topic, visit your repo's landing page and select "manage topics."