From: limongel@dia.uniroma3.it
To: caml-list@inria.fr
Subject: [Caml-list] (II) New Introductory book on Functional programming, using OCaml (in Italian)
Date: Wed, 15 Jan 2003 10:15:15 +0100 [thread overview]
Message-ID: <1042622115.3e2526a317ca3@pop.dia.uniroma3.it> (raw)
In-Reply-To: <1042544656.3e23f810d6386@pop.dia.uniroma3.it>
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
prev parent reply other threads:[~2003-01-15 9:19 UTC|newest]
Thread overview: 2+ messages / expand[flat|nested] mbox.gz Atom feed top
2003-01-14 11:44 [Caml-list] " limongel
2003-01-15 9:15 ` limongel [this message]
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=1042622115.3e2526a317ca3@pop.dia.uniroma3.it \
--to=limongel@dia.uniroma3.it \
--cc=caml-list@inria.fr \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox