Google, IBM & Meta Certificates — All 10,000+ Courses at 40% Off
One annual plan covers every course and certificate on Coursera. 40% off for a limited time.
Get Full Access
Watch a conference talk from PLanQC 2025 where researchers from Quantinuum present their work on imperative quantum programming with ownership and borrowing in the Guppy language. Explore how this approach combines ergonomic linear typing with imperative semantics while maintaining safety guarantees for quantum computing. The presentation addresses the challenge of enforcing no-cloning and no-deleting theorems in an imperative programming paradigm, offering a quantum type system that provides both safety and usability. Learn about the implementation of these concepts in Quantinuum's Guppy programming language, as presented at the ACM SIGPLAN-sponsored PLanQC workshop on January 25, 2025.
