Ocaml 2 object system origins

From: John Prevost (prevost@maya.com)
Date: Mon Sep 06 1999 - 12:38:32 MET DST


To: caml-list@inria.fr
Subject: Ocaml 2 object system origins
From: John Prevost <prevost@maya.com>
Date: 06 Sep 1999 06:38:32 -0400

I just came across the paper "Typing in object-oriented languages:
Achieving expressiveness and safety" by Kim Bruce, and was struck,
once I referred back to the O'Caml documentation on the new object
system, by the similarities.

So, I was just wondering whether the features of the new object system
are based on this paper, a predecessor of this paper, or perhaps the
language LOOM, which apparently shares syntax with the examples in the
paper.

(The presence of # types seems too much to be chance.)

Thanks,

John Prevost.



This archive was generated by hypermail 2b29 : Sun Jan 02 2000 - 11:58:25 MET