Functional Quantum Programming

Functional Quantum Programming

Detalhes bibliográficos
Main Authors:	Mu, S, Bird, R
Formato:	Conference item
Publicado em:	KAIST‚ Dajeaon‚ Korea 2001

Registos relacionados

Inverting Functions as Folds
Por: Mu, S, et al.
Publicado em: (2002)

Countdown: A Case Study in Origami Programming
Por: Bird, R, et al.
Publicado em: (2005)

Theory and Applications of Inverting Functions as Folds
Por: Mu, S, et al.
Publicado em: (2004)

Lectures on Constructive Functional Programming
Por: Bird, R
Publicado em: (1988)

An Introduction to Functional Programming
Por: Bird, R, et al.
Publicado em: (1988)

Introduction to Functional Programming Using Haskell
Por: Bird, R
Publicado em: (1998)

A Calculus of Functions for Program Derivation
Por: Bird, R
Publicado em: (1990)

Rebuilding a Tree from Its Traversals: A Case Study of Program Inversion
Por: Mu, S, et al.
Publicado em: (2003)

Finding Celebrities: A Lesson in Functional Programming
Por: Bird, R, et al.
Publicado em: (2006)

Generic Functional Programming with Types and Relations
Por: Bird, R, et al.
Publicado em: (1996)

On Transformations of Programs
Por: Bird, R
Publicado em: (1974)

Programs and Machines
Por: Bird, R
Publicado em: (1976)

On Building Trees with Minimum Height‚ Relationally
Por: Mu, S, et al.
Publicado em: (2000)

Inverting the Burrows−Wheeler Transform
Por: Bird, R, et al.
Publicado em: (2004)

Speeding Up Programs
Por: Bird, R
Publicado em: (1974)

Electron transport in quantum dots /
Por: Bird, Jonathan P.
Publicado em: (2003)

Transformational Programming and the Paragraph Problem
Por: Bird, R
Publicado em: (1986)

Tabulation Techniques for Recursive Programs
Por: Bird, R
Publicado em: (1980)

Algebraic Identities for Program Calculation
Por: Bird, R
Publicado em: (1989)

A Program to Solve Sudoku
Por: Bird, R
Publicado em: (2006)

Improving Programs by the Introduction of Recursion
Por: Bird, R
Publicado em: (1977)

Non Recursive Functionals
Por: Bird, R
Publicado em: (1975)

Loopless Functional Algorithms
Por: Bird, R
Publicado em: (2006)

Functional Algorithm Design
Por: Bird, R
Publicado em: (1996)

Functional Algorithm Design
Por: Bird, R
Publicado em: (1995)

Quantum Latin squares and quantum functions: applications in quantum information
Por: Musto, BJ
Publicado em: (2019)

The Promotion and Accumulation Strategies in Transformational Programming
Por: Bird, R
Publicado em: (1984)

Pearls of Functional Algorithm Design
Por: Bird, R
Publicado em: (2010)

Zippy Tabulations of Recursive Functions
Por: Bird, R
Publicado em: (2008)

Fifteen Years of Functional Pearls
Por: Bird, R
Publicado em: (2006)

Practical Modern Quantum Programming
Por: McNally, Christopher Michael
Publicado em: (2022)

The Algebra of Programming
Por: Bird, R, et al.
Publicado em: (1996)

Addendum to “The Promotion and Accumulation Strategies in Transformational Programming”
Por: Bird, R
Publicado em: (1985)

Green's function in quantum physics/
Por: 276329 Economou, E. N.
Publicado em: (1979)

Functional integration and quantum physics /
Por: Simon, Barry, 1946-
Publicado em: (1979)

Using Circular Programs to Eliminate Multiple Traversals of Data
Por: Bird, R
Publicado em: (1984)

Quantum Control Machine: The Limits of Control Flow in Quantum Programming
Por: Yuan, Charles, et al.
Publicado em: (2024)

Hybrid Dynamic Programming
Por: Bird, R, et al.
Publicado em: (1994)

Algebraic Methods for Optimization Problems
Por: Bird, R, et al.
Publicado em: (2002)

Algebraic Methods for Optimization Problems
Por: Bird, R, et al.
Publicado em: (2002)