An indexed model of recursive types for foundational proof-carrying code
Distribution of the number of citations over years.