Structure and interpretation of quantum mechanics: a functional framework

Authors:
Jerzy Karczmarczuk
Affiliations:
University of Caen, Caen, France
Venue:
Haskell '03 Proceedings of the 2003 ACM SIGPLAN workshop on Haskell
Year:
2003

Citing 6
Cited 3

A fast quantum mechanical algorithm for database search

STOC '96 Proceedings of the twenty-eighth annual ACM symposium on Theory of computing
Generating power of lazy semantics

Theoretical Computer Science - Special volume on computer algebra
Structure and interpretation of classical mechanics

Structure and interpretation of classical mechanics
Template meta-programming for Haskell

Proceedings of the 2002 ACM SIGPLAN workshop on Haskell
Scientific Computation and Functional Programming

Computing in Science and Engineering
Modeling quantum computing in Haskell

Haskell '03 Proceedings of the 2003 ACM SIGPLAN workshop on Haskell

Modeling quantum computing in Haskell

Haskell '03 Proceedings of the 2003 ACM SIGPLAN workshop on Haskell
Structuring quantum effects: superoperators as arrows

Mathematical Structures in Computer Science
Quantum programming languages: survey and bibliography

Mathematical Structures in Computer Science

Quantified Score

Hi-index	0.00

Visualization

Abstract

We present a framework for representing quantum entities in Haskell. States and operators are functional objects, and their semantics is defined --- as far as possible --- independently of the base in the Hilbert space. We construct effectively the tensor states for composed systems, and we present a toy model of quantum circuit toolbox. We conclude that functional languages are right tools for formal computations in quantum physics. The paper focuses mainly on the representation, not on computational problems.