Local type inference. Pierce, B. C. and Turner, D. N. ACM Trans. Program. Lang. Syst., 22(1):1-44, 2000.
Local type inference [link]Link  bibtex   
@article{ DBLP:journals/toplas/PierceT00,
  author    = {Benjamin C. Pierce and David N. Turner},
  title     = {Local type inference},
  journal   = {ACM Trans. Program. Lang. Syst.},
  pages   = {1-44},
  volume   = {22},
  number   = {1},
  ee   = {http://doi.acm.org/10.1145/345099.345100} ,
  year   = {2000}
}
Downloads: 0