[Caml-list] New Introductory book on Functional programming, using OCaml (in Italian)

[Caml-list] New Introductory book on Functional programming, using OCaml (in Italian)

[limongel]

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

[Caml-list] (II) New Introductory book on Functional programming, using OCaml (in Italian)

[limongel]

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