Path: news.daimi.aau.dk!news.uni-c.dk!sunic!pipex!howland.reston.ans.net!cs.utexas.edu!utnut!nott!bcarh189.bnr.ca!bcrkh13.bnr.ca!skp
From: skp@bnr.co.uk (Steve Perryman)
Newsgroups: comp.lang.beta
Subject: Re: Book on object-oriented typing systems
Date: 4 Nov 1994 09:14:01 GMT
Organization: BNR Europe, New Southgate, London.
Lines: 36
Message-ID: <39cu0p$nnr@bcrkh13.bnr.ca>
References: <38od5v$4j3@fenrix.si.sintef.no> <38suqf$mun@belfort.daimi.aau.dk>
NNTP-Posting-Host: bnsgs189.bnr.ca

In article <38suqf$mun@belfort.daimi.aau.dk>,
Thomas Peter Erich Hohn <thohn@daimi.aau.dk> wrote:

>I know one book about that issue, It's a book written by two people from 
>the Computer Science Department University of Aarhus.

>The authors are namely Michael.I.Schwartzback and Jens Palsberg.
>The book is published by John Wiley & Sons, ISBM 0 471 942128 X 1993

This is quite a good book. I haven't read all of it in detail yet (only
skipped thru) but what I've read so far has touched my dormant OO theory
neurons and re-awakened all my old OO brainstrorms. :-)


However, a real heavyweight (in price/weight/content) is :

* Theoretical Aspects of Object-Oriented Programming:
* Types, Semantics, and Language Design

* edited by Carl A. Gunter and John C. Mitchell

* MIT Press
* Price: $45.00 Cloth
* ISBN: 0-262-07155-X

What to expect ??
Well, Luca Cardelli has his ritual glut of hyper-intelligent musings in there.
And there looked like a couple of good articles in there too, although some of
you may already have picked the articles up off the net anyway. I can't tell
you much more about it as I was not feeling too good when I flicked thru it
(need to be very aloof when confronted by it) and the UK equivalent price of
close to $70 (bastards !!! :-( ) deterred me from a buy-first-read-later.

Regards,
Steven Perryman
skp@bnr.co.uk