Equational Reasoning for Linking with First-Class Primitive Modules
Abstract elided by the publisher.
Related papers
- The missing link: dynamic components for ML ICFP 2006
- Type inference, principal typings, and let-polymorphism for first-class mixin modules ICFP 2005
- Kleene algebra modulo theories: a framework for concrete KATs PLDI 2022
- Type-Safe linking with recursive DLLs and shared libraries TOPLAS 2002
- First-Class Macros have Types POPL 2000
- Moded Type Systems for Logic Programming POPL 1989
- 1ML - core and modules united (F-ing first-class modules) ICFP 2015
- Modules, abstract types, and distributed versioning POPL 2001