Safe Cross-Language Inheritance

@inproceedings{Gray2008SafeCI,
  title={Safe Cross-Language Inheritance},
  author={Kathryn E. Gray},
  booktitle={ECOOP},
  year={2008}
}
Inheritance is a standard means for reuse and for interfacing with external libraries. In a multi-language software product, extending a class written in a statically-typed language with a dynamically-typed class can require a significant number of manual indirections and other error-prone complications. Building on our previous interoperability work, we introduce a technique that allows safe, easy inheritance across languages. We demonstrate our technique for cross-language inheritance with a… Expand
Gradual typing for generics
Gradual typing for first-class classes
Interoperability in a Scripted World: Putting Inheritance & Prototypes Together
Reconciling method overloading and dynamically typed scripting languages
Reasoning About Foreign Function Interfaces: Blame and Nondeterministic Formal Semantics
JSTyper: Type inference fo JavaScript
...
1
2
3
...

References

SHOWING 1-10 OF 26 REFERENCES
...
1
2
3
...