Course: Paradigmi di Programmazione, Modulo A | INF - e-learning

Section outline

Select section General

General

Collapse all Expand all
- Select activity Annunci
  
  Annunci Forum
Select section Introduzione al Corso

Introduzione al Corso
- Select activity Introduzione al Corso (slides)
  
  Introduzione al Corso (slides) File
- Select activity Materiale Bibliografico: OCaml Programming: Correct + Efficient + Beautiful
  
  Materiale Bibliografico: OCaml Programming: Correct + Efficient + Beautiful URL
- Select activity Intro OCaml, Part I
  
  Intro OCaml, Part I File
Select section OCaml

OCaml
- Select activity Dispensa OCaml
  
  Dispensa OCaml File
- Select activity Notebook OCaml
  
  Notebook OCaml URL
- Select activity Docker Container Notebook OCaml
  
  Docker Container Notebook OCaml URL
- Select activity OCaml 1
  
  OCaml 1 File
- Select activity OCaml 2
  
  OCaml 2 File
- Select activity OCaml 2 (aggiornato)
  
  OCaml 2 (aggiornato) File
- Select activity OCaml 3 (liste)
  
  OCaml 3 (liste) File
- Select activity OCaml (record, tuple, varianti)
  
  OCaml (record, tuple, varianti) File
- Select activity OCaml (tipi algebrici)
  
  OCaml (tipi algebrici) File
Select section Dalla Macchina al Calcolo

Dalla Macchina al Calcolo
- Select activity Macchine e Linguaggi 1
  
  Macchine e Linguaggi 1 File
- Select activity Macchine e Linguaggi (estesa e aggiornata)
  
  Macchine e Linguaggi (estesa e aggiornata) File
Select section Interpreti (e Compilatori)

Interpreti (e Compilatori)
- Select activity Slides interpret (incomplete)
  
  Slides interpret (incomplete) File
- Select activity Dispensa miniCaml
  
  Dispensa miniCaml File
- Select activity Slides Interpreti, Compilatori, Macchine Astratte
  
  Slides Interpreti, Compilatori, Macchine Astratte File
- Select activity Slides minimal
  
  Slides minimal File
- Select activity Slides 2
  
  Slides 2 File
- Select activity Slides 1
  
  Slides 1 File
- Select activity slides interprete SimPL + λ-calcolo (annotate)
  
  slides interprete SimPL + λ-calcolo (annotate) File
- Select activity slides interprete environmental model
  
  slides interprete environmental model File
Select section Lambda Calcolo

Lambda Calcolo
- Select activity slides λ-calcolo
  
  slides λ-calcolo File
- Select activity transcript λ-calcolo
  
  transcript λ-calcolo File
- Select activity slides complete
  
  slides complete File
Select section Prove d'Esame

Prove d'Esame
- Select activity Prove esame passati
  
  Prove esame passati Folder
- Select activity Possibili domande orale
  
  Possibili domande orale Page
Select section Programmazione Orientata agli Oggetti

Programmazione Orientata agli Oggetti
- Select activity Slides OO
  
  Slides OO File
- Select activity Approfondimento OO
  
  Approfondimento OO File
Select section Approfondimento Sistemi di Tipi

Approfondimento Sistemi di Tipi
- Select activity Approfondimento su sistemi di tipo
  
  Approfondimento su sistemi di tipo File