gkuan.bib

@TECHREPORT{chicagotr:kuan07,
  author = {George Kuan},
  title = {A Rewriting Semantics for Type Inference},
  institution = {University of Chicago},
  number = {TR-2007-03},
  year = {2007},
  url = {http://www.cs.uchicago.edu/files/tr_authentic/TR-2007-03.pdf}
}

@INPROCEEDINGS{esop:kmf07,
  author = {George Kuan and David MacQueen and Robert Bruce Findler},
  title = {A Rewriting Semantics for Type Inference},
  booktitle = {Programming Languages and Systems, 16th European Symposium on Programming, ESOP 2007},
  month = {March},
  year = {2007},
  editor = {Rocco De Nicola},
  volume = 4421,
  url = {http://www.cs.uchicago.edu/~gkuan/pubs/esop07-kmf.pdf}
}

@INPROCEEDINGS{ml:km07,
  author = {George Kuan and David MacQueen},
  title = {Efficient {ML} Type Inference Using Ranked Type Variables},
  booktitle = {Proceedings of the ACM SIGPLAN 2007 Workshop on ML},
  month = {October},
  year = {2007},
  note = {To appear}
}

This file has been generated by bibtex2html 1.86.