Paradigmi di Programmazione, Modulo A

Schema della sezione

• Seleziona sezione Introduzione

  Minimizza Espandi

  Introduzione

  Minimizza tutto Espandi tutto

  • Seleziona attività Annunci

    

    Annunci Forum
• Seleziona sezione Introduzione al Corso

  Minimizza Espandi

  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

  Minimizza Espandi

  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

  Minimizza Espandi

  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)

  Minimizza Espandi

  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

  Minimizza Espandi

  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

  Minimizza Espandi

  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

  Minimizza Espandi

  Programmazione Orientata agli Oggetti

  • Seleziona attività Slides OO

    

    Slides OO File
  • Seleziona attività Approfondimento OO

    

    Approfondimento OO File
• Seleziona sezione Approfondimento Sistemi di Tipi

  Minimizza Espandi

  Approfondimento Sistemi di Tipi

  • Seleziona attività Approfondimento su sistemi di tipo

    

    Approfondimento su sistemi di tipo File