COLLEDAN, ANDREA

COLLEDAN, ANDREA  

DIPARTIMENTO DI INFORMATICA - SCIENZA E INGEGNERIA  

Dottorandi  

Mostra records
Risultati 1 - 1 di 1 (tempo di esecuzione: 0.003 secondi).
Titolo Autore(i) Anno Periodico Editore Tipo File
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