@Inproceedings{EPTCS241.4,
  author    = {Tokuda, Ryohei and Sumii, Eijiro and Abe, Akinori},
  year      = {2017},
  title     = {Specialization of Generic Array Accesses After Inlining},
  editor    = {Yallop, Jeremy and Doligez, Damien},
  booktitle = {{\rm Proceedings}
               ML Family  / OCaml Users and Developers workshops,
               {\rm Vancouver, Canada, 3rd & 4th September 2015}},
  series    = {Electronic Proceedings in Theoretical Computer Science},
  volume    = {241},
  publisher = {Open Publishing Association},
  pages     = {45-53},
  doi       = {10.4204/EPTCS.241.4},
}