Showing cs.PLShow all
3 papers · 1 filter
cs.PL2025
On Circuit Description Languages, Indexed Monads, and Resource Analysis
Ken Sakayori, Andrea Colledan, Ugo Dal Lago
In this paper, a monad-based denotational model is introduced and shown adequate for the Proto-Quipper family of calculi, themselves being idealized versions of the Quipper program…
cs.PL2022
On Dynamic Lifting and Effect Typing in Circuit Description Languages (Extended Version)
Andrea Colledan, Ugo Dal Lago
In the realm of quantum computing, circuit description languages represent a valid alternative to traditional QRAM-style languages. They indeed allow for finer control over the out…
cs.PL2021
On Abstract Machine Semantics for Proto-Quipper-M
Andrea Colledan
Quipper is a domain-specific programming language for the description of quantum circuits. Because it is implemented as an embedded language in Haskell, Quipper is a very practical…