Andrea Colledan | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Studio Ghibli

Featured Co-authors

Ugo Dal Lago
34 publications

research

∙ 02/15/2022

On Dynamic Lifting and Effect Typing in Circuit Description Languages (Extended Version)

In the realm of quantum computing, circuit description languages represe...

0 Andrea Colledan, et al. ∙

research

∙ 05/07/2021

On Abstract Machine Semantics for Proto-Quipper-M

Quipper is a domain-specific programming language for the description of...

0 Andrea Colledan, et al. ∙