43:29

[PLanQC'24] Monoidal Adventures

ACM SIGPLAN

21:54

[PLanQC'24] Introducing BRAT

ACM SIGPLAN

25:36

[PLanQC'24] Circuit Width Estimation via Effect Typing and Linear Dependency (Extended Abs...

ACM SIGPLAN

19:43

[PLanQC'24] Graphical Primitive Recursion For String Diagrams

ACM SIGPLAN

20:09

[PLanQC'24] Optimal compilation of parametrised quantum circuits

ACM SIGPLAN

20:04

[PLanQC'24] Polynomial-time Classical Simulation of Roetteler’s Shifted Bent Function Algo...

ACM SIGPLAN

23:03

[PLanQC'24] Qadence: a differentiable interface for digital-analog programs

ACM SIGPLAN

22:52

[PLanQC'24] A feasible and unitary programming language with quantum control

ACM SIGPLAN

21:41

[PLanQC'24] GUPPY: Pythonic Quantum-Classical Programming

ACM SIGPLAN

20:57

[PLanQC'24] Quantum and Classical Control (work-in-progress)

ACM SIGPLAN

20:16

[PLanQC'24] Effect Semantics for Quantum Protocols

ACM SIGPLAN

22:17

[PLanQC'24] QbC: Quantum Correctness by Construction

ACM SIGPLAN

21:49

[PLanQC'24] Quantum Controlled Measurements via Program Transformation

ACM SIGPLAN

16:45

[PLanQC'24] QGAT: A Generate-and-Test Paradigm for Quantum Circuits

ACM SIGPLAN