Year: 2001
Type: conference-paper
Abstract: It has been shown that non-determinism, both angelic and demonic, can be encoded in a functional language in different representation of sets.In this paper we see quantum programming as a special kind of non-deterministic programming where negative probabilities are allowed.The point is demonstrated by coding two simple quantum algorithms in Haskell.A monadic style of quantum programming is also proposed.Programs are written in an imperative style but the programmer is encouraged to think in terms of values rather than quantum registers.
Authors: Shin-Cheng Mu, Richard Bird
Language: English
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Open Access status: green
Funder: Microsoft Research
OpenAlex ID: W1619379664