Coursera Flash Sale
40% Off Coursera Plus for 3 Months!
Grab it
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.
