Home

A Functional Quantum Programming Language

We introduce the language QML, a functional language for quantum computations on finite types. Its design is guided by its categorical semantics: QML programs are interpreted by morphisms in the category FQC of finite quantum computations realizable as quantum gates.

Warning - it's a draft. From the Types Forum.

By andrew cooke at 2004-09-10 19:36 | Functional | other blogs | 5633 reads

Comment viewing options

Select your preferred way to display the comments and click "Save settings" to activate your changes.

Two more

From Peter Selinger and Martin Wehr.

By Frank Atanassow at Sun, 2004-09-12 17:08 | login or register to post comments