bcp.bib

@preamble{{\newcommand{\SortNoop}[1]{}}}

@techreport{PierceTurner:LTI-FSUB,
  author = {Benjamin C. Pierce and David N. Turner},
  title = {Local Type Argument Synthesis with Bounded Quantification},
  year = {1997},
  institution = {Computer Science Department, Indiana University},
  month = jan,
  series = {CSCI},
  number = {495},
  plclub = {Yes},
  bcp = {Yes},
  tr = {http://www.cis.upenn.edu/~bcpierce/papers/lti-fsub.ps},
  keys = {inference}
}

@inproceedings{PierceTurner:LTI,
  author = {Benjamin C. Pierce and David N. Turner},
  title = {Local Type Inference},
  year = 1998,
  booktitle = {{ACM} {SIGPLAN--SIGACT} {S}ymposium on {P}rinciples of {P}rogramming
                     {L}anguages ({POPL}), San Diego, California},
  note = {Full version in \bgroup\em ACM Transactions on Programming
                  Languages and Systems (TOPLAS)\egroup, 22(1), January 2000,
                  pp.~1--44},
  plclub = {Yes},
  bcp = {Yes},
  keys = {inference},
  tr = {http://www.cis.upenn.edu/~bcpierce/papers/lti.pdf},
  conf = {http://www.cis.upenn.edu/~bcpierce/papers/lti-popl.pdf},
  full = {http://www.cis.upenn.edu/~bcpierce/papers/lti-toplas.pdf}
}

@techreport{HosoyaPierce99,
  author = {Haruo Hosoya and Benjamin C. Pierce},
  title = {How Good is Local Type Inference?},
  institution = {University of Pennsylvania},
  number = {MS-CIS-99-17},
  month = jun,
  year = 1999,
  plclub = {Yes},
  bcp = {Yes},
  keys = {inference},
  tr = {http://www.cis.upenn.edu/~bcpierce/papers/hgilti.ps}
}