| HAL-Inria | Publications, software ... of Inria's scientists |
Reports
A prototype-based approach to object reclassification
Abstract : We investigate, in the context of functional prototype-based languages , a calculus of objects which might extend themselves upon receiving a message, a possibility referred to by Cardelli as a self-inflicted operation. We present a sound type system for this calculus which guarantees that evaluating a well-typed expression will never yield a message-not-found runtime error. The resulting calculus is an attempt towards the definition of a language combining the safety advantage of static type check with the flexibility normally found in dynamically typed languages.
https://hal.inria.fr/hal-01646168
Contributor : Luigi Liquori <>
Submitted on : Tuesday, January 19, 2021 - 6:31:15 PM
Last modification on : Monday, February 8, 2021 - 7:45:21 PM
Contributor : Luigi Liquori <>
Submitted on : Tuesday, January 19, 2021 - 6:31:15 PM
Last modification on : Monday, February 8, 2021 - 7:45:21 PM
File
SUBMITTED-JOT-2021.pdf
Files produced by the author(s)