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