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 WAA04140 for caml-red; Mon, 22 Jan 2001 22:59:15 +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 NAA29989 for ; Mon, 22 Jan 2001 13:06:05 +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 f0MC64X05750; Mon, 22 Jan 2001 13:06:04 +0100 (MET) Received: (from mottl@localhost) by miss.wu-wien.ac.at (8.9.0/8.9.0) id NAA02650; Mon, 22 Jan 2001 13:05:58 +0100 (MET) Date: Mon, 22 Jan 2001 13:05:58 +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: <20010122130558.A22698@miss.wu-wien.ac.at> References: <20010120180523.A24778@miss.wu-wien.ac.at> 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 Mon, Jan 22, 2001 at 11:26:27 +0100 Sender: weis@pauillac.inria.fr On Mon, 22 Jan 2001, David Mentre wrote: > I am more interested in a comparison of paradigms in a broader view (how > adaptation is handled by functionnal and object-oriented styles for > example) and a formalization (i.e. theorical presentation) of those > paradigms in a common framework. Ok, so your question is mostly about software engineering (programming in the large) rather than expressiveness on an algorithmic level. The book is mostly concerned with the latter... Since you seem to be more interested in high-level (formal) specification of programs, you might find some things (for functional style = ML) on this page (but no inter-language comparisons): http://www.dcs.ed.ac.uk/home/dts And then there is also Xavier's paper on "Objects and Classes vs. Modules in OCaml". http://pauillac.inria.fr/~xleroy/talks/icfp99.ps.gz - Markus -- Markus Mottl, mottl@miss.wu-wien.ac.at, http://miss.wu-wien.ac.at/~mottl