_    ___ ___      _                               
   / \  |_ _/ _ \ ___| |_ _ __ ___  __ _ _ __ ___  ___
  / _ \  | | | | / __| __| '__/ _ \/ _` | '_ ` _ \/ __|
 / ___ \ | | |_| \__ \ |_| | |  __/ (_| | | | | | \__ \
/_/   \_\___\___/|___/\__|_|  \___|\__,_|_| |_| |_|___/

Invidious > Channel > ACM SIGPLAN

ACM SIGPLAN	9400 subscribers    RSS
View channel on YouTube Videos Playlists

YT 43 minutes 29 seconds ACM SIGPLAN [PLanQC'24] Monoidal Adventures YT 21 minutes 54 seconds ACM SIGPLAN [PLanQC'24] Introducing BRAT YT 25 minutes 36 seconds ACM SIGPLAN [PLanQC'24] Circuit Width Estimation via Effect Typing and Linear Dependency (Extended Abs...

YT 19 minutes 43 seconds ACM SIGPLAN [PLanQC'24] Graphical Primitive Recursion For String Diagrams YT 20 minutes 9 seconds ACM SIGPLAN [PLanQC'24] Optimal compilation of parametrised quantum circuits YT 20 minutes 4 seconds ACM SIGPLAN [PLanQC'24] Polynomial-time Classical Simulation of Roetteler’s Shifted Bent Function Algo...

YT 23 minutes 3 seconds ACM SIGPLAN [PLanQC'24] Qadence: a differentiable interface for digital-analog programs YT 22 minutes 52 seconds ACM SIGPLAN [PLanQC'24] A feasible and unitary programming language with quantum control YT 21 minutes 41 seconds ACM SIGPLAN [PLanQC'24] GUPPY: Pythonic Quantum-Classical Programming

YT 20 minutes 57 seconds ACM SIGPLAN [PLanQC'24] Quantum and Classical Control (work-in-progress) YT 20 minutes 16 seconds ACM SIGPLAN [PLanQC'24] Effect Semantics for Quantum Protocols YT 22 minutes 17 seconds ACM SIGPLAN [PLanQC'24] QbC: Quantum Correctness by Construction

YT 21 minutes 49 seconds ACM SIGPLAN [PLanQC'24] Quantum Controlled Measurements via Program Transformation YT 16 minutes 45 seconds ACM SIGPLAN [PLanQC'24] QGAT: A Generate-and-Test Paradigm for Quantum Circuits