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
Lambda Calcolo
slides complete
slides complete
Aggregazione dei criteri
Per visualizzare il file, fai click su questo link:
pdp 16.pdf
◄ transcript λ-calcolo
Vai all'attiivtà
Vai all'attiivtà
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
Prove esame passati
Possibili domande orale
Slides OO
Approfondimento OO
Approfondimento su sistemi di tipo
Prove esame passati ►