1 paper
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…