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]
@inproceedings{LapetsSTABR13,
title = {QuaFL: a typed DSL for quantum programming},
author = {Andrei Lapets and Marcus P. da Silva and Mike Thome and Aaron Adler and Jacob Beal and Martin Roetteler},
year = {2013},
doi = {10.1145/2505351.2505357},
url = {http://doi.acm.org/10.1145/2505351.2505357},
researchr = {https://researchr.org/publication/LapetsSTABR13},
cites = {0},
citedby = {0},
pages = {19-26},
booktitle = {Proceedings of the 1st annual workshop on Functional programming concepts in domain-specific languages, FPCDSL@ICFP 2013, Boston, Massachusetts, USA, September 22, 2013},
editor = {Richard Lazarus and Assaf J. Kfoury and Jacob Beal},
publisher = {ACM},
isbn = {978-1-4503-2380-2},
}