From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id MAA19966; Tue, 14 Jan 2003 12:48:08 +0100 (MET) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id MAA20253 for ; Tue, 14 Jan 2003 12:48:07 +0100 (MET) Received: from pop.dia.uniroma3.it (pop.dia.uniroma3.it [193.204.161.123]) by nez-perce.inria.fr (8.11.1/8.11.1) with ESMTP id h0EBm6507528 for ; Tue, 14 Jan 2003 12:48:06 +0100 (MET) Received: (from apache@localhost) by pop.dia.uniroma3.it (8.11.6/8.11.2) id h0EBiGI11776 for caml-list@inria.fr; Tue, 14 Jan 2003 12:44:16 +0100 From: limongel@dia.uniroma3.it Received: from 193.204.161.142 ( [193.204.161.142]) as user limongel@mail.dia.uniroma3.it by pop.dia.uniroma3.it with HTTP; Tue, 14 Jan 2003 12:44:16 +0100 Message-ID: <1042544656.3e23f810d6386@pop.dia.uniroma3.it> Date: Tue, 14 Jan 2003 12:44:16 +0100 To: caml-list@inria.fr Subject: [Caml-list] New Introductory book on Functional programming, using OCaml (in Italian) MIME-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 8bit User-Agent: Internet Messaging Program (IMP) 3.1 X-Originating-IP: 193.204.161.142 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk 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