53:22[CPP'26] Specification, Semantics, and Verification of Quantum ProgramsACM SIGPLAN113 viewsView & Download
21:33[POPL'23] CoqQ: Foundational Verification of Quantum ProgramsACM SIGPLAN159 viewsView & Download
1:21:02Formal Modelling, Programming and Verification of Quantum Systems | BCS FACS groupBCS Member Groups185 viewsView & Download
1:00:46Value Semantics: Safety, Independence, Projection, & Future of Programming - Dave Abrahams CppCon 22CppCon19.6K viewsView & Download
1:23:59Lecture 6. Specialization. Master's Course in C++ (MIPT, 2025-2026).Konstantin Vladimirov1.5K viewsView & Download