Static typing for dynamic messages

@inproceedings{Nishimura1998StaticTF,
  title={Static typing for dynamic messages},
  author={S. Nishimura},
  booktitle={POPL '98},
  year={1998}
}
Dynamic messages are first-class messages dynamically bound to program variables. By dynamic messages, the methods to be invoked can be varied dynamically at run-time, which provides a powerful abstraction mechanism for object-oriented languages. Dynamic messages are critically needed for some programs, but it seems that there has been no proposal of static type systems for dynamic messages. This paper presents a static typing discipline for dynamic messages and formalizes it into a second… Expand
25 Citations
A Type System and Compilation Techniques for Concurrent Objects
  • PDF
Types for Flexible Objects
  • 9
  • PDF
Towards a Type System for Analyzing JavaScript Programs
  • 168
  • PDF
Polymorphic Type Inference for the JNI
  • 46
  • PDF
Label-dependent session types
  • 10
  • PDF
Semantics and Types for Objects with First-Class Member Names
  • 16
  • PDF
Simple Type Inference for Structural Polymorphism
  • 22
  • PDF
Checking type safety of foreign function calls
  • 60
  • PDF
TIP ’ 02 Preliminary Version Set Types and Applications
  • PDF
FOOL 2012 : 19th International Workshop on Foundations of Object-Oriented Languages
...
1
2
3
...