116 citations · 179 across the 6 of their papers we have counts for
1 paper · 1 filter
Thorsten Altenkirch, Jonathan Grattage
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 mo…