Vai al contenuto principale
Italiano (it)
English (en)
Italiano (it)
Ospite (
Login
)
Paradigmi di Programmazione, Modulo A
Home
Corsi
Corso di Laurea in Informatica (L-31)
PdP, Modulo A
Schema della sezione
Seleziona sezione Introduzione
Introduzione
Minimizza tutto
Espandi tutto
Seleziona attività Annunci
Annunci
Forum
Seleziona sezione Introduzione al Corso
Introduzione al Corso
Seleziona attività Introduzione al Corso (slides)
Introduzione al Corso (slides)
File
Seleziona attività Materiale Bibliografico: OCaml Programming: Correct + Efficient + Beautiful
Materiale Bibliografico: OCaml Programming: Correct + Efficient + Beautiful
URL
Seleziona attività Intro OCaml, Part I
Intro OCaml, Part I
File
Seleziona sezione OCaml
OCaml
Seleziona attività Dispensa OCaml
Dispensa OCaml
File
Seleziona attività Notebook OCaml
Notebook OCaml
URL
Seleziona attività Docker Container Notebook OCaml
Docker Container Notebook OCaml
URL
Seleziona attività OCaml 1
OCaml 1
File
Seleziona attività OCaml 2
OCaml 2
File
Seleziona attività OCaml 2 (aggiornato)
OCaml 2 (aggiornato)
File
Seleziona attività OCaml 3 (liste)
OCaml 3 (liste)
File
Seleziona attività OCaml (record, tuple, varianti)
OCaml (record, tuple, varianti)
File
Seleziona attività OCaml (tipi algebrici)
OCaml (tipi algebrici)
File
Seleziona sezione Dalla Macchina al Calcolo
Dalla Macchina al Calcolo
Seleziona attività Macchine e Linguaggi 1
Macchine e Linguaggi 1
File
Seleziona attività Macchine e Linguaggi (estesa e aggiornata)
Macchine e Linguaggi (estesa e aggiornata)
File
Seleziona sezione Interpreti (e Compilatori)
Interpreti (e Compilatori)
Seleziona attività Slides interpret (incomplete)
Slides interpret (incomplete)
File
Seleziona attività Dispensa miniCaml
Dispensa miniCaml
File
Seleziona attività Slides Interpreti, Compilatori, Macchine Astratte
Slides Interpreti, Compilatori, Macchine Astratte
File
Seleziona attività Slides minimal
Slides minimal
File
Seleziona attività Slides 2
Slides 2
File
Seleziona attività Slides 1
Slides 1
File
Seleziona attività slides interprete SimPL + λ-calcolo (annotate)
slides interprete SimPL + λ-calcolo (annotate)
File
Seleziona attività slides interprete environmental model
slides interprete environmental model
File
Seleziona sezione Lambda Calcolo
Lambda Calcolo
Seleziona attività slides λ-calcolo
slides λ-calcolo
File
Seleziona attività transcript λ-calcolo
transcript λ-calcolo
File
Seleziona attività slides complete
slides complete
File
Seleziona sezione Prove d'Esame
Prove d'Esame
Seleziona attività Prove esame passati
Prove esame passati
Cartella
Seleziona attività Possibili domande orale
Possibili domande orale
Pagina
Seleziona sezione Programmazione Orientata agli Oggetti
Programmazione Orientata agli Oggetti
Seleziona attività Slides OO
Slides OO
File
Seleziona attività Approfondimento OO
Approfondimento OO
File
Seleziona sezione Approfondimento Sistemi di Tipi
Approfondimento Sistemi di Tipi
Seleziona attività Approfondimento su sistemi di tipo
Approfondimento su sistemi di tipo
File