Proto-Quipper with dynamic lifting.

Peng FuKohei KishidaNeil J. RossPeter Selinger
Published in: CoRR (2022)