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