QML: A Functional Quantum Programming LanguageWelcome to the QML Project A functional quantum programming language Home to the QML Research Diary QML is a functional language for quantum computations on finite types. The language introduces quantum data and quantum control structures, and integrates reversible and irreversible quantum computation. QML is based on strict linear logic, hence weakenings, which may lead to decoherence, have to be
