Statistics
Total Visits
Name | Views |
---|---|
(Re-)Creating sharing in Agda's GHC backend | 485 |
Total Visits per Month
Name | January 2025 | February 2025 | March 2025 | April 2025 | May 2025 | June 2025 | July 2025 |
---|---|---|---|---|---|---|---|
(Re-)Creating sharing in Agda's GHC backend | 14 | 8 | 11 | 14 | 13 | 3 | 3 |
File Downloads
Name | Views |
---|---|
Perna_Natalie_201706_MSc.pdf | 690 |
Top Country Views
Name | Views |
---|---|
Canada | 209 |
United States | 94 |
China | 15 |
Japan | 8 |
India | 7 |
Germany | 6 |
United Kingdom | 6 |
Iran | 5 |
Sweden | 4 |
France | 3 |
Top City Views
Name | Views |
---|---|
Hamilton | 196 |
San Mateo | 20 |
Mountain View | 8 |
Tokyo | 7 |
Fairfield | 5 |
Louisville | 5 |
Beijing | 4 |
San Ramon | 4 |
Aptos | 3 |
Des Moines | 3 |