nLab Alexander Green

Selected writings

Selected writings

Introducing the quantum IO monad:

Implementation in Haskell:

On formally verified quantum programming languages like QML:

Introducing the functional quantum programming language Quipper:

category: people

Last revised on September 11, 2023 at 12:22:35. See the history of this page for a list of all contributions to it.