[Prev][Next][Index][Thread]
paper on recursion and objects
Hi,
I would like to announce the availability of the following paper, which
introduces a new type system for the "let rec" construct, relaxing the
syntactic restrictions usually imposed on this construct, and explores
its expressive power, as regards object-oriented, or more precisely
"mixin-oriented", programming.
______________________________________________________________
The Recursive Record Semantics of Objects Revisited
Gérard Boudol
In a call-by-value language, representing objects as
recursive records requires using an unsafe fixpoint.
We design, for a core language including extensible
records, a type system which rules out unsafe recursion
and still supports the reconstruction of a principal type.
We illustrate the expressive power of this language with
respect to object-oriented programming by introducing a
sub-language for ``mixin-based'' programming.
______________________________________________________________
The paper is available from my web page:
http://www-sop.inria.fr/mimosa/personnel/Gerard.Boudol.html
Comments are welcome!