Extensions for Multi-Module Records in Conventional Programming Languages
Abstract
An extended record facility is described that supports multi-module records by providing:
Related papers
- Extending Record Typing to Type Parametric Modules with Sharing POPL 1993
- Type Extensions TOPLAS 1988
- Staged Compilation with Module Functors ICFP 2024
- Compiled, Extensible, Multi-language DSLs (Functional Pearl) ICFP 2024
- 1ML - Core and modules united JFP 2018
- 1ML - core and modules united (F-ing first-class modules) ICFP 2015
- Environments as First Class Objects POPL 1987
- CompCertM: CompCert with C-assembly linking and lightweight modular verification POPL 2020