Towards a formally verified functional quantum programming language

QR Code

Towards a formally verified functional quantum programming language

This thesis looks at the development of a framework for a functional quantum programming language. The framework is first developed in Haskell, looking at how a monadic structure can be used to explicitly deal with the side-effects inherent in the measurement of quantum systems, and goes on to look...

Full description

Bibliographic Details
Main Author:	Green, Alexander S.
Format:	Thesis (University of Nottingham only)
Language:	English
Published:	2010
Subjects:	quantum programming computer programming computer languages haskell monadic structure quantum io monad
Online Access:	https://eprints.nottingham.ac.uk/11457/

Similar Items

Functional reactive programming, refactored
by: Perez, Ivan, et al.
Published: (2016)

Lifting of operations in modular monadic semantics
by: Jaskelioff, Mauro Javier
Published: (2009)

Towards modular compilers for effects
by: Day, Laurence, et al.
Published: (2012)

The modular compilation of effects
by: Day, Laurence E.
Published: (2017)

Supermonads: one notion to bind them all
by: Bracker, Jan, et al.
Published: (2016)

A functional quantum programming language
by: Grattage, Jonathan James
Published: (2006)

Polymonad programming in Haskell
by: Bracker, Jan, et al.
Published: (2016)

The continuity of monadic stream functions
by: Capretta, Venanzio, et al.
Published: (2017)

The continuity of monadic stream functions
by: Capretta, Venanzio, et al.
Published: (2017)

Monads need not be endofunctors
by: Altenkirch, Thorsten, et al.
Published: (2015)

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

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

Towards safe and efficient functional reactive programming
by: Sculthorpe, Neil
Published: (2011)

Extensible and robust functional reactive programming
by: Perez Dominguez, Ivan
Published: (2018)

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

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

A functional specification of effects
by: Swierstra, Wouter
Published: (2009)

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

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)

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

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

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

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

Investigating the use of pure functional programming for agent-based simulation
by: Thaler, Jonathan
Published: (2020)

A framework for relating, implementing and verifying argumentation models and their translations
by: van Gijzel, Bas
Published: (2016)

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 Estimation in Driven-Dissipative Optomechanics: Beyond the Linear Model
by: Sala, Kamila
Published: (2023)

A Malay language-based visual programming language for personal digital assistant
by: Sulaiman, Md. Nasir, et al.
Published: (2008)

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

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

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

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

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

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

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

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)