PLanQC 2024
14 videos • 66 views • by ACM SIGPLAN
PLanQC 2024
1
[PLanQC'24] Monoidal Adventures
ACM SIGPLAN
Download
2
[PLanQC'24] Introducing BRAT
ACM SIGPLAN
Download
3
[PLanQC'24] Circuit Width Estimation via Effect Typing and Linear Dependency (Extended Abs...
ACM SIGPLAN
Download
4
[PLanQC'24] Graphical Primitive Recursion For String Diagrams
ACM SIGPLAN
Download
5
[PLanQC'24] Optimal compilation of parametrised quantum circuits
ACM SIGPLAN
Download
6
[PLanQC'24] Polynomial-time Classical Simulation of Roetteler’s Shifted Bent Function Algo...
ACM SIGPLAN
Download
7
[PLanQC'24] Qadence: a differentiable interface for digital-analog programs
ACM SIGPLAN
Download
8
[PLanQC'24] A feasible and unitary programming language with quantum control
ACM SIGPLAN
Download
9
[PLanQC'24] GUPPY: Pythonic Quantum-Classical Programming
ACM SIGPLAN
Download
10
[PLanQC'24] Quantum and Classical Control (work-in-progress)
ACM SIGPLAN
Download
11
[PLanQC'24] Effect Semantics for Quantum Protocols
ACM SIGPLAN
Download
12
[PLanQC'24] QbC: Quantum Correctness by Construction
ACM SIGPLAN
Download
13
[PLanQC'24] Quantum Controlled Measurements via Program Transformation
ACM SIGPLAN
Download
14
[PLanQC'24] QGAT: A Generate-and-Test Paradigm for Quantum Circuits
ACM SIGPLAN
Download