QuaFL: a typed DSL for quantum programming.

Andrei Lapets, Marcus P. da Silva, Mike Thome, Aaron Adler, Jacob Beal, Martin Roetteler

Browse the full ICFP paper archive.