Travelled to:
1 × Portugal
Collaborated with:
D.MacQueen R.B.Findler
Talks about:
semant (1) rewrit (1) infer (1) type (1)
Person: George Kuan
DBLP: Kuan:George
Contributed to:
Wrote 1 papers:
- ESOP-2007-KuanMF #semantics #type inference
- A Rewriting Semantics for Type Inference (GK, DM, RBF), pp. 426–440.