Estatísticas para Refinement kinds: type-safe programming with practical type-level computation
Total de visitas
| views | |
|---|---|
| Refinement kinds: type-safe programming with practical type-level computation | 39 |
Total de visitas por mês
| views | |
|---|---|
| fevereiro 2026 | 0 |
| março 2026 | 0 |
| abril 2026 | 0 |
| maio 2026 | 0 |
| junho 2026 | 0 |
| julho 2026 | 0 |
| agosto 2026 | 0 |
Downloads
| views | |
|---|---|
| 3360557.pdf | 73 |
Top de consultas por país
| views | |
|---|---|
| Estados Unidos | 25 |
| China | 4 |
| Portugal | 4 |
| Região desconhecida | 2 |
| Costa Rica | 1 |
| Reino Unido | 1 |
| Irlanda | 1 |