LINGUAGGI DI PROGRAMMAZIONE AVANZATI A.A.2011-2012

Appunti delle lezioni

Introduzione e programma del corso

Appunti lezione del 17/04

Appunti lezione del 18/04

Appunti lezione del 23-24/04

Appunti lezione del 24/04 - 02/05

Appunti lezione del 7/05

Appunti lezione del 8/05

Appunti lezione del 9/05

Appunti *rivisti* lezioni del 14/05 - 15/05

Appunti lezione del 21/05

Testi e materiale di apporfondimento

Types and Programming Languages. B.C. Pierce, edito da MIT Press. Disponibile in biblioteca.

The Free Lunch Is Over: A Fundamental Turn Toward Concurrency in Software. H. Sutter

Why Functional Programming Matters. J. Hughes

A Simple Algorithm and Proof for Type Inference. M. Wand

Avvisi