QuaFL: a typed DSL for quantum programming. - Andrei Lapets; Marcus P. da Silva; Mike Thome; Aaron Adler; Jacob Beal; Martin Roetteler (FPCDSL@ICFP, 2013)