George Kuan

PhD Student
Department of Computer Science

Contact Information

University of Chicago
1100 E 58th Street
Chicago, IL 60637
Office: Hinds 030
Phone: (773)702-6614
Fax: (773)702-8487
gkuan [at] cs [dot] uchicago [dot] edu

Technical Reports

Engineering Higher-Order Modules in SML/NJ. George Kuan; David MacQueen. 29 January, 2010. Communicated by Dave MacQueen.
A Rewriting Semantics for Type Inference. George Kuan. 23 March, 2007. Communicated by Dave MacQueen.