Functional Languages - Teoria (2008/2009)

  1. Home
  2. Teaching
  3. Master’s degrees (no longer running)
  4. Masters in Computer Science
  5. Insegnamenti

Course partially running

Spazio Moodle non più disponibile
Course code
4S00063
Name of lecturer
Ugo Solitro
Number of ECTS credits allocated
4
Academic sector
INF/01 - INFORMATICS
Language of instruction
Italian
Location
VERONA
Period
1° Q dal Oct 2, 2008 al Dec 19, 2008.
Web page
http://elearning.univr.it
Course news Seminars related to the course

To show the organization of the course that includes this module, follow this link * Course organization

Lesson timetable

Learning outcomes

The course deals with the theory of functional programming and its practice.

Syllabus

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.

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

Assessment methods and criteria

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.

Teaching aids

Documents

Share