Type-Safe Delegation for Run-Time Component Adaptation
No abstract available.
DOI 10.1007/3-540-48743-3_16
Related papers
- Multiparty Session Types for Safe Runtime Adaptation in an Actor Language ECOOP 2021
- A demand-driven adaptive type analysis ICFP 2002
- Safe and flexible adaptation via alternate data structure representations CC 2016
- Forsaking inheritance: supercharged delegation in DelphJ OOPSLA 2013
- Run-time principals in information-flow type systems TOPLAS 2007
- The missing link: dynamic components for ML ICFP 2006
- A Linear Decomposition of Multiparty Sessions for Safe Distributed Programming ECOOP 2017
- Safe Run-time Overloading POPL 1990