George Kuan

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2007

2 George Kuan, David MacQueen, Robert Bruce Findler: A Rewriting Semantics for Type Inference. ESOP 2007: 426-440

1 George Kuan, David MacQueen: Efficient type inference using ranked type variables. ML 2007: 3-14

	2007
2		George Kuan, David MacQueen, Robert Bruce Findler: A Rewriting Semantics for Type Inference. ESOP 2007: 426-440
1		George Kuan, David MacQueen: Efficient type inference using ranked type variables. ML 2007: 3-14

Coauthor Index