• Login
• Admin

Green, Alexander S. (2010) Towards a formally verified functional quantum programming language. PhD thesis, University of Nottingham.

Preview

PDF - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader Available under Licence All Rights Reserved. Download (4MB) | Preview

Abstract

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 at how a dependently-typed reimplementation in Agda gives us the basis for a formally

verified quantum programming language. The two implementations are not in themselves fully developed quantum programming languages, as they are embedded in their respective parent languages, but are a major step towards the development of a full formally verified, functional quantum programming language. Dubbed the “Quantum IO Monad”, this framework is designed following a structural approach as given by a categorical model of quantum computation.

Item Type:	Thesis (University of Nottingham only) (PhD)
Supervisors:	Altenkirch, T.
Keywords:	quantum programming, computer programming, computer languages, haskell, monadic structure, quantum io monad
Subjects:	Q Science > QA Mathematics > QA 75 Electronic computers. Computer science
Faculties/Schools:	UK Campuses > Faculty of Science > School of Computer Science
Item ID:	11457
Depositing User:	EP, Services
Date Deposited:	12 Oct 2010 13:13
Last Modified:	28 Feb 2025 11:13
URI:	https://eprints.nottingham.ac.uk/id/eprint/11457

Actions (Archive Staff Only)

Edit View