Welcome to the homepage of the QML compiler A functional quantum programming language implemented in Haskell. This site contains a copy of Jonathan Grattage's thesis, and the development code for a QML compiler. The compiler is a work-in-progress (as is QML), and an earlier version of the code is discussed in the thesis. The final version of this thesis is now available: QML: A functional quantum
Welcome 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
¡ ¢ 1 / 31 Freyd is Kleisli, for Arrows Bart Jacobs Ichiro Hasuo Radboud University Nijmegen the Netherlands July 2, 2006 Introduction Introduction Introduction Introducing Arrows Kleisli categories for Arrows 2-categorical characterization of Kleisli categories (Eilenberg-Moore) algebras for Arrows 2 / 31 Interfaces for structured computations (as opposed to pure functions): monads [Moggi’91]
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く