Statistics
Total Visits
Name | Views |
---|---|
(Re-)Creating sharing in Agda's GHC backend | 371 |
Total Visits per Month
Name | January 2024 | February 2024 | March 2024 | April 2024 | May 2024 | June 2024 | July 2024 |
---|---|---|---|---|---|---|---|
(Re-)Creating sharing in Agda's GHC backend | 21 | 5 | 9 | 14 | 9 | 7 | 7 |
File Downloads
Name | Views |
---|---|
Perna_Natalie_201706_MSc.pdf | 650 |
Top Country Views
Name | Views |
---|---|
Canada | 150 |
United States | 54 |
China | 13 |
Germany | 6 |
United Kingdom | 6 |
India | 5 |
Iran | 4 |
Japan | 4 |
Sweden | 4 |
France | 3 |
Top City Views
Name | Views |
---|---|
Hamilton | 139 |
San Mateo | 6 |
Mountain View | 5 |
Beijing | 4 |
Fairfield | 4 |
Louisville | 4 |
San Ramon | 4 |
Des Moines | 3 |
Tokyo | 3 |
Toronto | 3 |