Skip to main content
English (en)
English (en)
Italiano (it)
You are currently using guest access (
Log in
)
Paradigmi di Programmazione, Modulo A
Home
Courses
Corso di Laurea in Informatica (L-31)
PdP, Modulo A
Approfondimento Sistemi di Tipi
Approfondimento su sistemi di tipo
Approfondimento su sistemi di tipo
Completion requirements
Click
TipiLCFinale.pdf
link to view the file.
◄ Approfondimento OO
Jump to...
Jump to...
Annunci
Introduzione al Corso (slides)
Materiale Bibliografico: OCaml Programming: Correct + Efficient + Beautiful
Intro OCaml, Part I
Dispensa OCaml
Notebook OCaml
Docker Container Notebook OCaml
OCaml 1
OCaml 2
OCaml 2 (aggiornato)
OCaml 3 (liste)
OCaml (record, tuple, varianti)
OCaml (tipi algebrici)
Macchine e Linguaggi 1
Macchine e Linguaggi (estesa e aggiornata)
Slides interpret (incomplete)
Dispensa miniCaml
Slides Interpreti, Compilatori, Macchine Astratte
Slides minimal
Slides 2
Slides 1
slides interprete SimPL + λ-calcolo (annotate)
slides interprete environmental model
slides λ-calcolo
transcript λ-calcolo
slides complete
Prove esame passati
Possibili domande orale
Slides OO
Approfondimento OO