← DReX: A Declarative Language for Efficiently Computable ...