15 citations · 15 across the 3 of their papers we have counts for
1 paper · 2 filters
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,…