Statistics
Total Visits
| Views | |
|---|---|
| A New Verified Compiler Backend for CakeML | 186 |
Total Visits Per Month
| September 2020 | October 2020 | November 2020 | December 2020 | January 2021 | February 2021 | March 2021 | |
|---|---|---|---|---|---|---|---|
| A New Verified Compiler Backend for CakeML | 3 | 1 | 8 | 1 | 1 | 1 | 1 |
File Downloads
| Views | |
|---|---|
| Tan_et_al-2016-ICFP_2016_Proceedings_of_the_21st_ACM_SIGPLAN_International_Conference_on_Functional_Programming-AM.pdf | 228 |
Top country views
| Views | |
|---|---|
| United States | 66 |
| Germany | 26 |
| United Kingdom | 22 |
| France | 20 |
| China | 19 |
| Australia | 10 |
| Indonesia | 6 |
| Austria | 3 |
| South Korea | 2 |
| Canada | 1 |
Top cities views
| Views | |
|---|---|
| Ashburn | 28 |
| Fairfield | 11 |
| Beijing | 10 |
| Fremont | 10 |
| Cambridge | 5 |
| Saarbrücken | 5 |
| Southend | 5 |
| Boardman | 4 |
| Jakarta | 4 |
| Graz | 3 |