Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

Browse thread
[Caml-list] New Introductory book on Functional programming, using OCaml (in Italian)
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2003-01-14 (11:48)
From: limongel@d...
Subject: [Caml-list] New Introductory book on Functional programming, using OCaml (in Italian)
About the book

As far as we konw, this is the first book on OCaml written in

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

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

tel +39-06-55173232
fax +39-06-5573030

This mail sent through IMP:
Powered by IMP: (also
To unsubscribe, mail Archives:
Bug reports: FAQ:
Beginner's list: