Add a paper URL

The Essense of ML Type Inference