15 citations · 15 across the 3 of their papers we have counts for
1 paper · 1 filter
Julie Steele, William Byrd
We present dxo, a relational system for algebra and differentiation, written in miniKanren. dxo operates over math expressions, represented as s-expressions. dxo supports addition,…