Colledan, Andrea

1. Flexible Type-Based Resource Estimation in Quantum Circuit Description Languages
   2024/08/06 by Andrea Colledan, Colledan, Andrea, Ugo Dal Lago +1 · 4 citations
   Computer Science · Engineering · #Computational Complexity (cs.CC) #FOS: Computer and information sciences #FOS: Physical sciences #Logic in Computer Science (cs.LO) #Parallel Computing and Optimization Techniques #Programming Languages (cs.PL) #Quantum Computing Algorithms and Architecture #Quantum Physics (quant-ph) #Semiconductor materials and devices
2. On Dynamic Lifting and Effect Typing in Circuit Description Languages (Extended Version)
   2022/02/15 by Andrea Colledan, Colledan, Andrea, Ugo Dal Lago +1 · 1 citation
   Computer Science · Physics and Astronomy · #FOS: Computer and information sciences #FOS: Physical sciences #Logic in Computer Science (cs.LO) #Programming Languages (cs.PL) #Quantum Physics (quant-ph) #cs.LO #cs.PL #quant-ph
3. Circuit Width Estimation via Effect Typing and Linear Dependency (Long Version)
   2023/10/29 by Andrea Colledan, Colledan, Andrea, Ugo Dal Lago +1 · 1 citation
   Computer Science · #D.2.4 #D.3.1 #F.3.1 #FOS: Computer and information sciences #FOS: Physical sciences #Logic in Computer Science (cs.LO) #Logic, programming, and type systems #Programming Languages (cs.PL) #Quantum Computing Algorithms and Architecture #Quantum Information and Cryptography #Quantum Physics (quant-ph)