{"ID":2854938,"CreatedAt":"2026-06-01T04:54:23.091178241Z","UpdatedAt":"2026-06-01T04:54:23.091178241Z","DeletedAt":null,"paper_url":"https://arxiv.org/abs/2510.13082","arxiv_id":"2510.13082","title":"Imperative Quantum Programming with Ownership and Borrowing in Guppy","abstract":"Linear types enforce no-cloning and no-deleting theorems in functional quantum programming. However, in imperative quantum programming, they have not gained widespread adoption. This work aims to develop a quantum type system that combines ergonomic linear typing with imperative semantics and maintains safety guarantees. All ideas presented here have been implemented in Quantinuum's Guppy programming language.","short_abstract":"Linear types enforce no-cloning and no-deleting theorems in functional quantum programming. However, in imperative quantum programming, they have not gained widespread adoption. This work aims to develop a quantum type system that combines ergonomic linear typing with imperative semantics and maintains safety guarantee...","url_abs":"https://arxiv.org/abs/2510.13082","url_pdf":"https://arxiv.org/pdf/2510.13082v1","authors":"[\"Mark Koch\",\"Agustín Borgna\",\"Craig Roy\",\"Alan Lawrence\",\"Kartik Singhal\",\"Seyon Sivarajah\",\"Ross Duncan\"]","published":"2025-10-15T01:54:12Z","proceeding":"cs.PL","tasks":"[\"cs.PL\",\"cs.SE\",\"quant-ph\"]","methods":"[]","has_code":false}