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…