Manifest Types, Modules, and Separate Compilation
Abstract
International audience
Related papers
- Using Parameterized Signatures to Express Modular Structure POPL 1996
- Transparent Modules with Fully Syntactic Signatures ICFP 1999
- A Modular, Polyvariant, and Type-Based Closure Analysis ICFP 1997
- Separate Compilation and Partial Linking: Modules for Datalog IR GPCE 2024
- Mixin' up the ML module system ICFP 2008
- Units: Cool Modules for HOT Languages PLDI 1998
- Modules, abstract types, and distributed versioning POPL 2001
- A Type-Theoretic Approach to Higher-Order Modules with Sharing POPL 1994