A functional quantum programming language

QR Code

A functional quantum programming language

This thesis introduces the language QML, a functional language for quantum computations on finite types. QML exhibits quantum data and control structures, and integrates reversible and irreversible quantum computations. The design of QML is guided by the categorical semantics: QML programs are inte...

Full description

Bibliographic Details
Main Author:	Grattage, Jonathan James
Format:	Thesis (University of Nottingham only)
Language:	English
Published:	2006
Subjects:	QML quantum programming quantum programming language functional programming quantum functional programming quantum circuits quantum circuit model QPL FQC FCC FxC Finite Quantum Computation Finite Classical Computation Finite Computation reversible quantum computation reversible classical computation reversible computation category theory denotational semantics operational semantics linear algebra Haskell superoperators super-operators super operators irreversible quantum computation irreversible classical computation irreversible computation categorical semantics Deutsch Algorith Shor's Algorithm Quantum Teleportation quantum Fourier transform quantum data quantum control syntax and typing rules.
Online Access:	https://eprints.nottingham.ac.uk/10250/

Similar Items

Pendekatan Komputer Peribadi Terhadap Pengiraan Jumlah Tenaga Keadaan Dasar Bagi Atom dan Molekul Ringkas
by: Abdul Rahman, Mohd Fitri
Published: (1999)

Secured single stage multiphoton approach for quantum cryptography protocol in free space optic
by: Harun, Nur Ziadah
Published: (2019)

Performance characterization for noisy quantum technologies
by: Liuzzo Scorpo, Pietro
Published: (2018)

Towards a formally verified functional quantum programming language
by: Green, Alexander S.
Published: (2010)

A method for authentication of multi-user key management using quantum key distribution over noiseless channel
by: Buhari, Abudhahir
Published: (2015)

Measures and applications of quantum correlations
by: Adesso, Gerardo, et al.
Published: (2016)

Connecting measurement invasiveness to optimal metrological scenarios
by: Moreira, Saulo V., et al.
Published: (2017)

Quantum Circuits as Minimal Models of Many-Body Dynamics
by: Foligno, Alessandro
Published: (2024)

Generalized geometric quantum speed limits
by: Pires, Diego Paiva, et al.
Published: (2016)

Synthesis and optical properties of PbS/MnS core shell quantum dots
by: Zaini, Muhammad Safwan
Published: (2019)

Emergent spacetime properties from entanglement
by: Colafrancheschi, Eugenia
Published: (2022)

Quantum Processing Framework And Hybrid Algorithms For Routing Problems
by: Soltan Aghaei, Mohammad Reza
Published: (2010)

Fizik kuantum: kuasa berfikir membentuk keseimbangan tenaga / Siti Aminah Mohammad
by: Mohammad, Siti Aminah
Published: (2019)

Identification and estimation of quantum linear input-output systems
by: Levitt, Matthew
Published: (2017)

New directions in forging multivariate signature schemes
by: Abdul Jamal, Nurul Amiera Sakinah
Published: (2023)

Quantum Estimation in Driven-Dissipative Optomechanics: Beyond the Linear Model
by: Sala, Kamila
Published: (2023)

Optimal Parameter Estimation for Quantum Markov Chains and IID Pure State Models
by: Godley, Alfred Elliot
Published: (2025)

Interferometric Unruh detectors
by: Biermann, Steffen
Published: (2023)

Quantum anharmonic potentials with operator and factorization methods
by: Tan, Min Yang
Published: (2023)

Geometrical measurements in three-dimensional quantum gravity
by: Barrett, John W.
Published: (2002)

Quantum tomography: asymptotic theory and statistical methodology
by: Acharya, Anirudh
Published: (2018)

Quantum chaos for nonstandard symmetry classes in the Feingold-Peres model of coupled tops
by: Fan, Yiyun, et al.
Published: (2017)

A projection of the future effects of quantum computation on information privacy and information security
by: Skinner, Geoffrey, et al.
Published: (2006)

Quantum circuit complexity in Riemannian geometry of 3-qubit quantum fourier transform
by: Chew, Kang Ying
Published: (2022)

Classification of multi-qubit states with higher order singular value decompositon and concurrency of three lines
by: Choong, Pak Shen
Published: (2022)

Practical approaches to simulating x-ray spectroscopy with quantum chemistry
by: Fouda, Adam Emad Ahmed
Published: (2020)

Topological Protection and Emission Control in a Waveguide Quantum Electrodynamical System
by: McDonnell, Ciarán
Published: (2023)

Group theoretic quantisation on spheres and quantum hall effect
by: Ahmed, Bouketir
Published: (2000)

Gaussian entanglement revisited
by: Lami, Ludovico, et al.
Published: (2018)

Fock-space projection operators for semi-inclusive final states
by: Dickinson, Robert, et al.
Published: (2017)

The problem of time in quantum cosmology
by: Menéndez-Pidal de Cristina, Lucía
Published: (2023)

Classical aspect of uncertainty principle for spin angular momentum in geometric quantum mechanics
by: Abdul Halim, Umair
Published: (2021)

The Non-linear Quantum Dynamics of Superconducting Circuitry
by: Morley, Grace
Published: (2023)

Proof of Kochen¨CSpecker Theorem: conversion of product Rule to sum rule
by: Toh, Sing Poh, et al.
Published: (2009)

Synthesis and characterization of low dimensional and heterostructure magnetic quantum and nanostructure materials prepared using electrodeposition method
by: Rokh, Ghazaleh Bahman
Published: (2016)

Structural and optical properties of PbS and PbS/MnTe core/shell quantum dots
by: Halim, Nur Diyana
Published: (2021)

A hybrid architecture approach for quantum algorithms.
by: Aghaei, Mohammad Reza Soltan, et al.
Published: (2009)

An efficient modeling and simulation of differential phase shift-quantum key distribution (DPS-QKD) system using optisystem
by: Dauda, Mu'azu
Published: (2017)

Decoherence of phonons in weakly and strongly-interacting Bose-Einstein condensates
by: Howl, R.
Published: (2016)

Classical and Quantum Causality in Quantum Field Theory, or, "The Quantum Universe"
by: Eakins, Jonathan Simon
Published: (2004)