Design patterns: elements of reusable object-oriented software
Design patterns: elements of reusable object-oriented software
Polynomial-Time Algorithms for Prime Factorization and Discrete Logarithms on a Quantum Computer
SIAM Journal on Computing
An introduction to quantum computing for non-physicists
ACM Computing Surveys (CSUR)
A Discipline of Programming
Template meta-programming for Haskell
Proceedings of the 2002 ACM SIGPLAN workshop on Haskell
NREVERSAL of Fortune - The Thermodynamics of Garbage Collection
IWMM '92 Proceedings of the International Workshop on Memory Management
IFL '99 Selected Papers from the 11th International Workshop on Implementation of Functional Languages
Structure and interpretation of quantum mechanics: a functional framework
Haskell '03 Proceedings of the 2003 ACM SIGPLAN workshop on Haskell
Reversibility for efficient computing
Reversibility for efficient computing
Faking it Simulating dependent types in Haskell
Journal of Functional Programming
Towards a quantum programming language
Mathematical Structures in Computer Science
Structure and interpretation of quantum mechanics: a functional framework
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
A review of procedures to evolve quantum algorithms
Genetic Programming and Evolvable Machines
A Symbolic Classical Computer Language for Simulation of Quantum Algorithms
QI '09 Proceedings of the 3rd International Symposium on Quantum Interaction
Quantum Circuits: From a Network to a One-Way Model
Electronic Notes in Theoretical Computer Science (ENTCS)
| Hi-index | 0.00 |
The paper develops a model of quantum computing from the perspective of functional programming. The model explains the fundamental ideas of quantum computing at a level of abstraction that is familiar to functional programmers. The model also illustrates some of the inherent difficulties in interpreting quantum mechanics and highlights the differences between quantum computing and traditional (functional or otherwise) computing models.