Functional Languages (2008/2009)

Course partially running

Course code
4S00063
Credits
5
Coordinator
Ugo Solitro
Teaching is organised as follows:
Unit Credits Academic sector Period Academic staff
Teoria 4 INF/01-INFORMATICS 1° Q Ugo Solitro
Laboratorio 1 INF/01-INFORMATICS 1° Q Ugo Solitro

Learning outcomes

Module: Teoria
-------
The course deals with the theory of functional programming and its practice.


Module: Laboratorio
-------
The course deals with the theory of functional programming and its practice.

Syllabus

Module: Teoria
-------
Fundamental principles.
Pure lambda-calculus; types and data representation; systems for the type inference.
Introduction to semantics.

A functional programming language.
Fundamentals of programming. Recursion. Data structures and algorithms.


Module: Laboratorio
-------
Learning of the programming language and development of some projects.

Assessment methods and criteria

Module: Teoria
-------
The final exams consists in a discussion on the topics presented in the course and the projects developed in the laboratory; the oral exam is preceded by an written admittance test.


Module: Laboratorio
-------
The final exams consists in a discussion on the topics presented in the course and the projects developed in the laboratory; the oral exam is preceded by an written admittance test.

Reference books
Author Title Publisher Year ISBN Note
Jean Louis Krivine, Rene Cori Lambda-calculus, Types and Models Ellis Horwood 1993 978-0130624079 Testo di consultazione per il lambda-calcolo e i tipi
Chris Okasaki Purely Functional Data Structures (Edizione 1) Cambridge University Press 1998 0-521-6635 Testo di consultazione sul trattamento funzionale delle strutture dati
Guy Cousineau, Michel Mauny The functional approach to programming (Edizione 1) Cambridge University Press 1998 0-521-5768 Testo di conslutazione per il lambda-calcolo e i tipi