量子プログラミング言語
命令型量子プログラミング言語のうち、もっとも有名なものはQCLおよびLanQである。
関数型量子プログラミング言語は開発が進められているところであり、例えばSelinger's QPL や、AltenkirchとGrattageによって開発された、Haskellに似た言語であるQMLが挙げられる。
ラムダ計算を基にした高階量子プログラミング言語(Higher-order quantum programming languages)が、van Tonder、SelingerとValiron、ArrighiとDowekによって提案されている。
サイモン・ゲイ(Simon Gay)のQuantum Programming Languages Surveyは量子プログラミング言語の研究に関する情報や2007年時点の量子プログラミングに関する包括的な書物の目録を提供している。