2 papers
cs.PL2026
All for one and none forall: Compiling polymorphic relations without monomorphization
Dmitri Volkov, Yafei Yang, Chung-Chieh Shan
We present a new approach for implementing polymorphism for bottom-up relational languages that avoids monomorphization. We begin by introducing semiringKanren, a bottom-up weighte…
cs.PL2025
Committing to the bit: Relational programming with semiring arrays and SAT solving
Dmitri Volkov, Yafei Yang, Chung-chieh Shan
We propose semiringKanren, a relational programming language where each relation expression denotes a semiring array. We formalize a type system that restricts the arrays to finite…