Specialization of Generic Array Accesses After Inlining. - Ryohei Tokuda; Eijiro Sumii; Akinori Abe (ML Family/OCaml, 2015)