George Kuan

发表

True Higher-Order Modules , Separate Compilation , and Signature Calculi ∗

George Kuan, 2009 .

A Rewriting Semantics for Type Inference

Robert Bruce Findler, David B. MacQueen, George Kuan, 2007, ESOP.