George Kuan (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

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

Selection of 2 from 2 records - George Kuan has 2 coauthors

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