An Extensible Type System for Component-Based Design
No abstract available.
Related papers
- The missing link: dynamic components for ML ICFP 2006
- Component nextgen: a sound and expressive component framework for java OOPSLA 2007
- Variant path types for scalable extensibility OOPSLA 2007
- Mixin' Up the ML Module System TOPLAS 2013
- An Extension of Standard ML Modules with Subtyping and Inheritance POPL 1991
- Dependent type systems as macros POPL 2020
- Type-Safe Prototype-Based Component Evolution ECOOP 2002
- Effekt: Capability-passing style for type- and effect-safe, extensible effect handlers in Scala JFP 2020