Towards a formally verified functional quantum programming languageTools Green, Alexander S. (2010) Towards a formally verified functional quantum programming language. PhD thesis, University of Nottingham.
AbstractThis 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
Actions (Archive Staff Only)
|