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
Ocaml 2 object system origins
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: John Prevost <prevost@m...>
Subject: Ocaml 2 object system origins
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

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


John Prevost.