@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.