Estatísticas para Unfolding Iterators. Specification and Verification of Higher-Order Iterators, in OCaml
Total de visitas
| views | |
|---|---|
| Unfolding Iterators. Specification and Verification of Higher-Order Iterators, in OCaml | 56 |
Total de visitas por mês
| views | |
|---|---|
| novembro 2025 | 5 |
| dezembro 2025 | 6 |
| janeiro 2026 | 0 |
| fevereiro 2026 | 0 |
| março 2026 | 1 |
| abril 2026 | 0 |
| maio 2026 | 6 |
Downloads
| views | |
|---|---|
| Chirica_2024.pdf | 159 |
| 2024_25_Fall_58316_Beatriz_Candeias.pdf | 1 |
Top de consultas por país
| views | |
|---|---|
| Portugal | 24 |
| Estados Unidos | 14 |
| Canadá | 2 |
| Dinamarca | 2 |
| Argentina | 1 |
| Austrália | 1 |
| Brasil | 1 |
| China | 1 |
| Alemanha | 1 |
| Reino Unido | 1 |
| Índia | 1 |
| Japão | 1 |
| Omã | 1 |
| Roménia | 1 |
| Vietname | 1 |
Top de consultas por cidade
| views | |
|---|---|
| Lisbon | 7 |