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. |
Year | Venue | Field |
---|---|---|
2018 | arXiv: Programming Languages | Programming language,Computer science,Theoretical computer science |
DocType | Volume | Citations |
Journal | abs/1808.04190 | 0 |
PageRank | References | Authors |
0.34 | 0 | 4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Alberto Ciaffaglione | 1 | 58 | 9.97 |
pietro di gianantonio | 2 | 167 | 17.30 |
Furio Honsell | 3 | 1254 | 146.59 |
Luigi Liquori | 4 | 398 | 38.85 |