In Pi we trust In Lambda we trust      In Objects we trust           

Principles of Functional and Concurrent Programming

Laurea Magistrale
Laurea Triennale (Curriculum "Comp. Theory and Quantum Alg.")
Crediti: 6

Docente :
Prof. Franco Barbanera
"The last good thing written in C was Franz Schubert's Symphony number 9."
(Erwin Dieterich)
Il corso ha lo scopo di introdurre gli studenti alla pratica e alla teoria della programmazione funzionale e concorrente, prestando particolare attenzione all'uso e alle potenzialita' della Type Theory.
BACHECA DEGLI AVVISI (Forum)

  • Programma del corso e testi consigliati. (il "consigliati" e' eufemistico, ovviamente)

  • Esami.


  • Esercizi (risolti e non)


  • Prossimo appello

  • Orario ricevimento (Barbanera).
    Vi invito a visitare questo sito che contiene articoli divulgativi del prof. Piergiorgio Odifreddi. Non riguardano Linguaggi di Programmazione, ma Informatica, Logica e Matematica. Leggetene qualcuno. Ne vale la pena.

    Suggerimenti su come migliorare la pagina web del corso sono sempre i benvenuti.
    Potete farmeli avere di persona o scrivere una mail a barba@dmi.unict.it.