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…