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
Attività settimanale
Seleziona settimana Introduzione
Introduzione
Minimizza tutto
Espandi tutto
Seleziona attività Annunci
Annunci
Forum
Seleziona settimana 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 settimana 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 settimana 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 settimana 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 settimana 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 settimana 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 settimana Programmazione Orientata agli Oggetti
Programmazione Orientata agli Oggetti
Seleziona attività Slides OO
Slides OO
File
Seleziona attività Approfondimento OO
Approfondimento OO
File
Seleziona settimana Approfondimento Sistemi di Tipi
Approfondimento Sistemi di Tipi
Seleziona attività Approfondimento su sistemi di tipo
Approfondimento su sistemi di tipo
File