 I am Chuan-kai Lin (林川凱); welcome to my homepage. News - On June 1st, 2010, I successfully defended my PhD dissertation, which is titled Practical Type Inference for the GADT Type System. The dissertation and the slides for my oral defense are now available in the Research page. Disclaimer: Contents of this site do not represent the opinion or the position of Google (or anyone other than myself). |