Compositional and Lightweight Dependent Type Inference for ML
Abstract elided by the publisher.
Related papers
- Lightweight family polymorphism JFP 2008
- Dependently-typed data plane programming POPL 2022
- Lightweight and Locality-Aware Composition of Black-Box Subroutines PLDI 2025
- CompCertM: CompCert with C-assembly linking and lightweight modular verification POPL 2020
- Lightweight dependent classes GPCE 2008
- Quantitative Verification of Masked Arithmetic Programs Against Side-Channel Attacks TACAS 2019
- A Lightweight Type-and-Effect System for Invalidation Safety: Tracking Permanent and Temporary Invalidation with Constraint-Based Subtype Inference OOPSLA 2025
- Mtac: A monad for typed tactic programming in Coq JFP 2015