Meta-monomorphizing specializations use compile-time metaprogramming to generate specialized traits that encode constraints directly in the type system, enabling coherent zero-cost specialization for complex predicates and higher-ranked types in Rust.
arXiv:2601.16008 [cs.PL] https://arxiv.org/abs/2601.16008
2 Pith papers cite this work. Polarity classification is still indexing.
2
Pith papers citing it
years
2026 2verdicts
UNVERDICTED 2representative citing papers
A general protocol for SPL extraction and configuration based on atoms, with a client-server architecture demonstrated in a prototype for language product lines.
citing papers explorer
-
Meta-Monomorphizing Specializations
Meta-monomorphizing specializations use compile-time metaprogramming to generate specialized traits that encode constraints directly in the type system, enabling coherent zero-cost specialization for complex predicates and higher-ranked types in Rust.
-
Generalized Software Product Line Extraction
A general protocol for SPL extraction and configuration based on atoms, with a client-server architecture demonstrated in a prototype for language product lines.