On (categorical semantics for) dynamic lifting in the quantum programming language “Quipper”:
Andrea Colledan, Ugo Dal Lago, On Dynamic Lifting and Effect Typing in Circuit Description Languages [arXiv:2202.07636]
Andrea Colledan, Ugo Dal Lago, On Dynamic Lifting
and Effect Typing in Circuit Description Languages, talk atTYPES Workshop, Nantes (2022) [pdf, pdf]
Created on December 7, 2022 at 10:34:35. See the history of this page for a list of all contributions to it.