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}
}

@inproceedings{D'Antoni:2013:SAU:2505351.2505353,
  author = {D'Antoni, Loris and Gaboardi, Marco and Gallego Arias, Emilio Jes\'{u}s and Haeberlen, Andreas and Pierce, Benjamin},
  title = {Sensitivity analysis using type-based constraints},
  booktitle = {Proceedings of the 1st annual workshop on Functional programming concepts in domain-specific languages},
  series = {FPCDSL '13},
  year = {2013},
  isbn = {978-1-4503-2380-2},
  location = {Boston, Massachusetts, USA},
  pages = {43--50},
  numpages = {8},
  url = {http://doi.acm.org/10.1145/2505351.2505353},
  doi = {10.1145/2505351.2505353},
  acmid = {2505353},
  publisher = {ACM},
  address = {New York, NY, USA},
  plclub = {Yes},
  bcp = {Yes},
  keys = {inference}
}