[off-topic] Survey or book on programming language structures

[David Mentre <David.Mentre@inria.fr>]

Hello,

This is not strictly Caml related, but as the OCaml language offers
several ways to program (functionnal, imperative, OO, ...), I think
people on this list will have knowledged advices.

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.

To give an example, polymorphism can be expressed in an object-oriented
way (so called inheritance polymorphism) and ML-like way (so called
parametric polymorphism). Both ways with there strengths. Is there a
survey that tries to describe other formalisms in a common framework?

I've found books on certain kind of programming languages (for example
object oriented) but not for different kind of languages (except few
excerpts in Pierre and Xavier's book).

Thanks in advance,
david
-- 
 David.Mentre@inria.fr -- http://www.irisa.fr/prive/dmentre/
 Opinions expressed here are only mine.