A Simple Algorithm and Proof for Type Inference1
Distribution of the number of citations over years.