COLLEDAN, ANDREA
COLLEDAN, ANDREA
DIPARTIMENTO DI INFORMATICA - SCIENZA E INGEGNERIA
Dottorandi
Mostra
records
Risultati 1 - 3 di 3 (tempo di esecuzione: 0.009 secondi).
Flexible Type-Based Resource Estimation in Quantum Circuit Description Languages
2025 Colledan, Andrea; Dal Lago, Ugo
Circuit Width Estimation via Effect Typing and Linear Dependency
2024 Colledan, Andrea; Dal Lago, Ugo
On Dynamic Lifting and Effect Typing in Circuit Description Languages
2023 Andrea Colledan; Ugo Dal Lago
| Titolo | Autore(i) | Anno | Periodico | Editore | Tipo | File |
|---|---|---|---|---|---|---|
| Flexible Type-Based Resource Estimation in Quantum Circuit Description Languages | Colledan, Andrea; Dal Lago, Ugo | 2025-01-01 | PROCEEDINGS OF ACM ON PROGRAMMING LANGUAGES | - | 4.01 Contributo in Atti di convegno | 3704883.pdf |
| Circuit Width Estimation via Effect Typing and Linear Dependency | Colledan, Andrea; Dal Lago, Ugo | 2024-01-01 | - | - | 4.01 Contributo in Atti di convegno | 978-3-031-57267-8_1.pdf |
| On Dynamic Lifting and Effect Typing in Circuit Description Languages | Andrea Colledan; Ugo Dal Lago | 2023-01-01 | - | Schloss-Dagstuhl - Leibniz Zentrum für Informatik | 4.01 Contributo in Atti di convegno | LIPIcs.TYPES.2022.3.pdf |