Functional Quantum Programming

Functional Quantum Programming

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

Registros 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)

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

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

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)

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

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

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

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

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)

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)