Vi introducerar språket QML, ett funktionellt språk för kvantberäkningar på ändliga typer. Dess design styrs av dess kategoriska semantik: QML-program tolkas av morfismer i kategorin É av finita kvantberäkningar, som ger en konstruktiv semantik av irreversibla kvantberäkningar som kan realiseras som kvantportar. QML integrerar reversibla och irreversibla kvantberäkningar på ett språk, med hjälp av första ordningen strikt linjär logik för att göra försvagningar explicit. Strikta program är fria från dekoherens och därmed bevara superpositioner och insnärjning - vilket är nödvändigt för kvantparallalism.
Ett funktionellt språk QML med design guidad av dess kategoriska semantik definieras i REF.
A functional quantum programming language
{'venue': "20th Annual IEEE Symposium on Logic in Computer Science (LICS' 05)", 'journal': "20th Annual IEEE Symposium on Logic in Computer Science (LICS' 05)", 'mag_field_of_study': ['Computer Science', 'Physics']}