QuaFL: a typed DSL for quantum programming

Andrei Lapets, Marcus P. da Silva, Mike Thome, Aaron Adler, Jacob Beal, Martin Roetteler. QuaFL: a typed DSL for quantum programming. In Richard Lazarus, Assaf J. Kfoury, Jacob Beal, editors, Proceedings of the 1st annual workshop on Functional programming concepts in domain-specific languages, FPCDSL@ICFP 2013, Boston, Massachusetts, USA, September 22, 2013. pages 19-26, ACM, 2013. [doi]

Abstract

Abstract is missing.