A Statically Safe Alternative to Virtual Types
No abstract available.
Related papers
- Eliminating distinctions of class: using prototypes to model virtual classes OOPSLA 2006
- Safe & Efficient Gradual Typing for TypeScript POPL 2015
- Java bytecode verification via static single assignment form TOPLAS 2008
- Secure safe ambients POPL 2001
- Experience with safe manual memory-management in cyclone ISMM 2004
- Type-Safe Compilation of Dynamic Inheritance via Merging TOPLAS 2025
- Generalized algebraic data types and object-oriented programming OOPSLA 2005
- A Simple, Comprehensive Type System for Java Bytecode Subroutines POPL 1999