From: limongel@dia.uniroma3.it
To: caml-list@inria.fr
Subject: [Caml-list] New Introductory book on Functional programming, using OCaml (in Italian)
Date: Tue, 14 Jan 2003 12:44:16 +0100 [thread overview]
Message-ID: <1042544656.3e23f810d6386@pop.dia.uniroma3.it> (raw)
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
next reply other threads:[~2003-01-14 11:48 UTC|newest]
Thread overview: 2+ messages / expand[flat|nested] mbox.gz Atom feed top
2003-01-14 11:44 limongel [this message]
2003-01-15 9:15 ` [Caml-list] (II) " limongel
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=1042544656.3e23f810d6386@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;
as well as URLs for NNTP newsgroup(s).