| [1] | George Kuan. A rewriting semantics for type inference. Technical Report TR-2007-03, University of Chicago, 2007. [ bib | .pdf ] |
| [2] | George Kuan, David MacQueen, and Robert Bruce Findler. A rewriting semantics for type inference. In Rocco De Nicola, editor, Programming Languages and Systems, 16th European Symposium on Programming, ESOP 2007, volume 4421, March 2007. [ bib | .pdf ] |
| [3] | George Kuan and David MacQueen. Efficient ML type inference using ranked type variables. In Proceedings of the ACM SIGPLAN 2007 Workshop on ML, October 2007. (Corrected) [ bib | .pdf ] |
This file has been generated by bibtex2html 1.86.