QuaFL: a typed DSL for quantum programming.

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

Published in: FPCDSL@ICFP (2013)

Keyphrases

programming language
higher order
lambda calculus
programming environment
general purpose
computer programs
object oriented programming
quantum computing
database
databases
real world
web services
programming environments