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

@INCOLLECTION{sepr09,
  author = {George Kuan},
  booktitle = {Semantics Engineering with PLT Redex},
  editor = {Matthias Felleisen and Robert Bruce Findler and Matthew Flatt},
  publisher = {MIT Press},
  title = {Type Checking and Inference via Reductions},
  year = {2009}
}

@inproceedings{km:ifl09,
 author = {Kuan, George and MacQueen, David},
 title = {Engineering higher-order modules in SML/NJ},
 booktitle = {Proceedings of the 21st international conference on Implementation
              and application of functional languages},
 series = {IFL'09},
 year = {2010},
 isbn = {3-642-16477-3, 978-3-642-16477-4},
 location = {South Orange, NJ, USA},
 pages = {218--235},
 numpages = {18},
 publisher = {Springer-Verlag},
 address = {Berlin, Heidelberg},
}

This file has been generated by bibtex2html 1.86.