dxo: A System for Relational Algebra and Differentiation. - Julie Steele; William Byrd (CoRR, 2020)