Finn Voichick
- Qunity: A Unified Language for Quantum and Classical Computing (Extended Version)
2022/04/26 by Finn Voichick, Voichick, Finn, Liyi Li +5 · 10 citations
Computer Science · #Computability, Logic, AI Algorithms #FOS: Computer and information sciences #FOS: Physical sciences #Logic in Computer Science (cs.LO) #Programming Languages (cs.PL) #Quantum Computing Algorithms and Architecture #Quantum Information and Cryptography #Quantum Physics (quant-ph)
- Verified Compilation of Quantum Oracles
2021/12/13 by Liyi Li, Li, Liyi, Finn Voichick +9 · 1 citation
Computer Science · #Cloud Computing and Resource Management #FOS: Computer and information sciences #FOS: Physical sciences #Parallel Computing and Optimization Techniques #Programming Languages (cs.PL) #Quantum Computing Algorithms and Architecture #Quantum Physics (quant-ph)