1 citations · 2 across the 3 of their papers we have counts for
3 papers · 1 filter
Coarsening Optimization for Differentiable Programming
Xipeng Shen, Guoqiang Zhang, Irene Dea +10
This paper presents a novel optimization for differentiable programming named coarsening optimization. It offers a systematic way to synergize symbolic differentiation and algorith…
Introduction to Rank-polymorphic Programming in Remora (Draft)
Olin Shivers, Justin Slepak, Panagiotis Manolios
Remora is a higher-order, rank-polymorphic array-processing programming language, in the same general class of languages as APL and J. It is intended for writing programs to be exe…
The Semantics of Rank Polymorphism
Justin Slepak, Olin Shivers, Panagiotis Manolios
Iverson's APL and its descendants (such as J, K and FISh) are examples of the family of "rank-polymorphic" programming languages. The principal control mechanism of such languages…