From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id WAA19833 for caml-red; Sun, 21 Jan 2001 22:18:40 +0100 (MET) 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 SAA21569 for ; Sat, 20 Jan 2001 18:05:33 +0100 (MET) Received: from miss.wu-wien.ac.at (miss.wu-wien.ac.at [137.208.107.17]) by nez-perce.inria.fr (8.11.1/8.10.0) with ESMTP id f0KH5WT02774; Sat, 20 Jan 2001 18:05:32 +0100 (MET) Received: (from mottl@localhost) by miss.wu-wien.ac.at (8.9.0/8.9.0) id SAA21116; Sat, 20 Jan 2001 18:05:23 +0100 (MET) Date: Sat, 20 Jan 2001 18:05:23 +0100 From: Markus Mottl To: David Mentre Cc: caml-list@inria.fr Subject: Re: [off-topic] Survey or book on programming language structures Message-ID: <20010120180523.A24778@miss.wu-wien.ac.at> References: Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline User-Agent: Mutt/1.2.5i In-Reply-To: ; from David.Mentre@inria.fr on Tue, Jan 16, 2001 at 16:37:35 +0100 Sender: weis@pauillac.inria.fr On Tue, 16 Jan 2001, David Mentre wrote: > I'm looking for a survey or a book describing the various ways to > structure a program and its data (functionnal, object-oriented, > imperative, abstract data types, ...). I would particularly be > interested in a common framework where common issues (polymorphism, > adaptability, abstractions, genericity, ...) are described and solved > by each formalism. A very nice book is the following one ("Advanced Programming Language Design" - 512 pages) by Raphel Finkel, especially because it is available online free of charge as PDF: http://cseng.aw.com/book/related/0,3833,0805311912+20,00.html It covers just about any programming paradigm and also gives a soft introduction to formal programming language semantics. It seems that it is exactly what you are looking for... Best regards, Markus Mottl -- Markus Mottl, mottl@miss.wu-wien.ac.at, http://miss.wu-wien.ac.at/~mottl