3 citations · 3 across the 2 of their papers we have counts for
2 papers
cs.PL2017
Specialization of Generic Array Accesses After Inlining
Ryohei Tokuda, Eijiro Sumii, Akinori Abe
We have implemented an optimization that specializes type-generic array accesses after inlining of polymorphic functions in the native-code OCaml compiler. Polymorphic array operat…
cs.PL2015★ 3 cited
A Simple and Practical Linear Algebra Library Interface with Static Size Checking
Akinori Abe, Eijiro Sumii
Linear algebra is a major field of numerical computation and is widely applied. Most linear algebra libraries (in most programming languages) do not statically guarantee consistenc…