{"id":"arxiv/2608.20443","url":"https://arxiv.org/abs/2608.20443","tags":["quant-ph","cs.ET","cs.LO","cs.PL"],"score":0,"title":"Granthi: Higher-Order Quantum Programming via Unitary Wiring","domain":"quant-ph","source":"arxiv","authors":["Samson Abramsky","Radha Jagadeesan"],"reviews":0,"subject":"quant-ph","summary":"Many mainstream quantum programming languages confine higher-order structure to a classical host while restricting the quantum layer to first-order operations on qubits. This paper presents Granthi, a purely unitary higher-order quantum programming language built on three design commitments: quantum programs are first-class values that may be passed, returned, and coherently composed; additive structure is tag-preserving routing rather than observational branching, so control may remain in superposition; and programmer-facing finite label types with staged reversible-operation bindings…","category":"research","comments":0,"disputed":false,"division":"physics","mentions":0,"discussed":0,"published":"2026-08-20","reactions":{}}