In the previous message we have forgotten some unessential information ;-) 
the title of the book is "Introduzione alla programmazione funzionale" 
and it is published by Esculapio.
The table of contents can be found at
http://www.dia.uniroma3.it/~lambda/libro/

Greetings,  Carla


> About the book
> 
> As far as we konw, this is the first book on OCaml written in
> Italian 
> 
> The book gives an introduction both to basic concepts and techniques
> of functional programming, and to its theoretical foundation.
> 
> In the first part of the book Objective Caml is used to present the
> principles of functional programming.  Particular attention is devoted
> to higher order functions: they are introduced in the first chapter.
> Moreover recursion and basic data structures are presented, and the
> relation among inductive data types, recursive definitions and
> inductive proofs is highlighted.  The OCaml module system is also
> introduced.
> 
> The second part shows the fundation of the functional paradigm.  It
> contains an introduction to pure and applied lambda calculus, and a
> brief account of its role in defining the concepts of computability
> and decidability. The type system of languages in the ML class is also
> discussed, and the concept of evaluation in an environment, together
> with the difference between static and dynamic scope of declarations.
> 
> The book is the result of about ten years teaching experience in
> basic computer science courses at the University of "Roma Tre" in Rome.
> 
> About the authors: Marta Cialdea Mayer is associate professor at the
> Faculty of Engineering of "Roma Tre" University, where she holds
> courses on Artificial Intelligence and Functional Programming.  Carla
> Limongelli is Research Associate at the same Faculty, where she
> presently hold the course of Algorithms and Data Structures.
> 
> The authors,
> 
>            Marta Cialdea Mayer and Carla Limongelli
> 
> 
> -- 
> 
> Marta Cialdea Mayer
> Dipartimento di Informatica e Automazione
> Via Vasca Navale, 79
> 00146 Roma
> (Italia)
> 
> tel +39-06-55173232
> fax +39-06-5573030
> 
> 
> --------------------------------------------------------------
> This mail sent through IMP: https://pop.dia.uniroma3.it/horde/
> Powered by IMP: http://horde.org/imp/ (also http://horde.org/)
> -------------------
> To unsubscribe, mail caml-list-request@inria.fr Archives:
> http://caml.inria.fr
> Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ:
> http://caml.inria.fr/FAQ/
> Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
> 




--------------------------------------------------------------
This mail sent through IMP: https://pop.dia.uniroma3.it/horde/
Powered by IMP: http://horde.org/imp/ (also http://horde.org/)
-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners