Statistik för A Haskell Implementation for a Dependent Type Theory with Definitions
Totalt antal besök
| views | |
|---|---|
| A Haskell Implementation for a Dependent Type Theory with Definitions | 80 |
Totalt antal besök per månad
| views | |
|---|---|
| October 2023 | 0 |
| November 2023 | 0 |
| December 2023 | 0 |
| January 2024 | 0 |
| February 2024 | 0 |
| March 2024 | 0 |
| April 2024 | 0 |
Nedladdningar
| views | |
|---|---|
| CSE 21-161 Qufei.pdf | 168 |
Visningar per land (topp)
| views | |
|---|---|
| Sweden | 38 |
| United States | 24 |
| Canada | 2 |
| Ireland | 2 |
| Armenia | 1 |
| Bangladesh | 1 |
| Brazil | 1 |
| Germany | 1 |
| Spain | 1 |
| Ethiopia | 1 |
| Finland | 1 |
| United Kingdom | 1 |
| Indonesia | 1 |
| Japan | 1 |
| Russia | 1 |
| Turkey | 1 |
| Ukraine | 1 |
Visningar per stad (topp)
| views | |
|---|---|
| Gothenburg | 15 |
| Stockholm | 5 |
| Mountain View | 3 |
| Angered | 2 |
| Bergenfield | 2 |
| Calgary | 2 |
| Kungälv | 2 |
| Ashburn | 1 |
| Austin | 1 |
| Des Moines | 1 |
| Frankfurt am Main | 1 |
| Grabo | 1 |
| Halmstad | 1 |
| Istanbul | 1 |
| Kharkiv | 1 |
| Kyrkobyn | 1 |
| Makassar | 1 |
| Malmo | 1 |
| Moscow | 1 |
| San Jose | 1 |
| Sylhet | 1 |
| Teruel | 1 |
| Tokyo | 1 |
| Yerevan | 1 |