Properly cite "The essence of ML type inference"

[ezyang]

The naming conventions and implementation strategy coincide with the implementation of union find in The essence of ML type inference. Was it based off of that code? If so, a proper citation is in order.