Statistik för Singly typed actors in Agda - An approach to distributed programming with dependent types
Totalt antal besök
| views | |
|---|---|
| Singly typed actors in Agda - An approach to distributed programming with dependent types | 226 |
Totalt antal besök per månad
| views | |
|---|---|
| November 2023 | 0 |
| December 2023 | 0 |
| January 2024 | 0 |
| February 2024 | 0 |
| March 2024 | 0 |
| April 2024 | 0 |
| May 2024 | 0 |
Nedladdningar
| views | |
|---|---|
| 256251.pdf | 92 |
Visningar per land (topp)
| views | |
|---|---|
| United States | 70 |
| Sweden | 46 |
| Germany | 42 |
| France | 19 |
| Canada | 9 |
| United Kingdom | 4 |
| India | 4 |
| Norway | 3 |
| Taiwan | 3 |
| Australia | 2 |
| Brazil | 2 |
| China | 2 |
| Ukraine | 2 |
| Czechia | 1 |
| Denmark | 1 |
| Greece | 1 |
| Italy | 1 |
| Japan | 1 |
| South Korea | 1 |
| Netherlands | 1 |
| Portugal | 1 |
| Singapore | 1 |
Visningar per stad (topp)
| views | |
|---|---|
| Ashburn | 24 |
| Gothenburg | 18 |
| Mountain View | 10 |
| Des Moines | 7 |
| Montreal | 6 |
| Oslo | 3 |
| St Louis | 3 |
| Kyiv | 2 |
| Nuremberg | 2 |
| Taipei | 2 |
| Adrian | 1 |
| Alta | 1 |
| Beijing | 1 |
| Bielefeld | 1 |
| Breakfast Point | 1 |
| Calgary | 1 |
| Cambridge | 1 |
| Clitheroe | 1 |
| Coimbatore | 1 |
| Copenhagen | 1 |
| Dagenham | 1 |
| Dalmine | 1 |
| Edmonton | 1 |
| Guildford | 1 |
| Kailua | 1 |
| Kensington | 1 |
| Kolkata | 1 |
| Kungälv | 1 |
| Lawrence | 1 |
| Lisbon | 1 |
| Luleå | 1 |
| Lund | 1 |
| Manaus | 1 |
| Minnetonka | 1 |
| Munich | 1 |
| Nanjing | 1 |
| Newark | 1 |
| Noida | 1 |
| Norrköping | 1 |
| Perpignan | 1 |
| Plymouth | 1 |
| Portland | 1 |
| Prague | 1 |
| Pune | 1 |
| Redwood City | 1 |
| San Jose | 1 |
| Seattle | 1 |
| Singapore | 1 |
| Stockholm | 1 |
| Taoyuan District | 1 |
| The Hague | 1 |
| Tokyo | 1 |
| Vaennaes | 1 |
| Vaestra Froelunda | 1 |
| Örebro | 1 |