21:34

[PLanQC'22] Topological Quantum Programming in TED-K

ACM SIGPLAN

25:50

[PLanQC'22] Qrisp: A Framework for Compilable High-Level Programming of Gate-Based Quantu...

ACM SIGPLAN

43:53

[PLanQC'22] Invited talk: Twist: Sound Reasoning for Purity and Entanglement in Quantum P...

ACM SIGPLAN

21:17

[PLanQC'22] Analyzing quantum programs using the power of interaction

ACM SIGPLAN

15:34

[PLanQC'22] Q*: Implementing Quantum Separation Logic in F*

ACM SIGPLAN

24:23

[PLanQC'22] Adventures in Qutrit Compilation

ACM SIGPLAN

24:05

[PLanQC'22] Optimal synthesis into fixed XX interactions

ACM SIGPLAN

17:11

[PLanQC'22] Encoding High-level Quantum Programs as SZX-diagrams

ACM SIGPLAN

18:01

[PLanQC'22] Type-safe (Variational) Quantum Programming in Idris

ACM SIGPLAN

35:25

[PLanQC'22] Quantum relational Hoare logic, towards a formalization

ACM SIGPLAN

25:30

[PLanQC'22] Tower: Data Structures in Quantum Superposition

ACM SIGPLAN