Section: New Results
Participant : Luigi Liquori.
In , we investigated, in the context of functional prototype-based languages, a calculus of objects which might extend themselves upon receiving a message, a capability referred to by Cardelli as a self-inflicted operation. We introduced a sound type system for this calculus which guarantees that evaluating a well-typed expression will never yield a message-not-found run-time error. The resulting calculus is an attempt towards the definition of a language combining the safety advantage of static type checking with the flexibility normally found in dynamically typed languages.