Exploring Modal Types for the Intel Quantum SDK

Explore modal types for the Intel Quantum SDK in this 23-minute conference talk from ACM SIGPLAN's TyDe'23. Delve into Jennifer Paykin's extended abstract proposing a type system targeting the Intel Quantum SDK's runtime. Examine the use of three modes—compile-time, classical runtime, and quantum runtime—to ensure proper data handling in quantum kernels. Learn about the proposed compilation strategy aimed at demonstrating that well-typed programs compile to quantum basic blocks with consistent semantics. Gain insights into how modal and linear type systems can be applied to formalize the mixing of classical and quantum operations within the SDK's framework.