Una dispensa appunti di Linguaggi di Programmazione modulo 2, un corso tenuto nell'Università di Trento dal Professor Kuper.
Questi appunti provengono direttamente dalle slides del corso, tradotte in italiano e leggermente revisionate.
Clicca il titolo per consultare la dispensa.
Per renderizzare le formule latex ti consiglio di usare un Markdown Viewer clonando prima la repo. Ci sono anche estensioni chrome apposite.
È possibile passare il corso in 4 mosse:
- Leggere gli appunti almeno una volta per capire di che tratta il corso.
- Studiare bene SML e il Lambda calcolo PDF (Università di Berlino).
- Fare tanti esercizi di SML in questa dispensa (by Pater999).
- Fare tanti esercizi di teoria con il simulatore (by Pater999).
Have fun and good luck.
Alcuni pezzi non sono completi o necessitano di una spiegazione migliore.
Questo è dovuto sia dal fatto che in parte sono traduzioni dirette degli appunti e anche dal fatto che, durante la loro stesura non avevo in mente di pubblicarli.
Se volete contribuire a renderli migliori vi basta un fork.