| 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
|
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.
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.
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.
| 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 |
© 2025 | Verona University
******** CSS e script comuni siti DOL - frase 9957 ********
