Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

Browse thread
[off-topic] Survey or book on programming language structures
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2001-01-21 (21:18)
From: Markus Mottl <mottl@m...>
Subject: Re: [off-topic] Survey or book on programming language structures
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:,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,,