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 KAA19072; Wed, 15 Jan 2003 10:19:10 +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 KAA18974 for ; Wed, 15 Jan 2003 10:19:09 +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 h0F9J8v28988 for ; Wed, 15 Jan 2003 10:19:08 +0100 (MET) Received: (from apache@localhost) by pop.dia.uniroma3.it (8.11.6/8.11.2) id h0F9FFX30036 for caml-list@inria.fr; Wed, 15 Jan 2003 10:15:15 +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; Wed, 15 Jan 2003 10:15:15 +0100 Message-ID: <1042622115.3e2526a317ca3@pop.dia.uniroma3.it> Date: Wed, 15 Jan 2003 10:15:15 +0100 To: caml-list@inria.fr Subject: [Caml-list] (II) New Introductory book on Functional programming, using OCaml (in Italian) References: <1042544656.3e23f810d6386@pop.dia.uniroma3.it> In-Reply-To: <1042544656.3e23f810d6386@pop.dia.uniroma3.it> 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 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