Browse by Supervisors

Up a level
Export as [feed] RSS 2.0 [feed] RSS 1.0 [feed] Atom
Number of items: 4.

Swierstra, Wouter (2009) A functional specification of effects. PhD thesis, University of Nottingham.

Prince, Rawle C.S. (2011) Aspects of the theory of containers within automated theorem proving. PhD thesis, University of Nottingham.

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

Chapman, James Maitland (2009) Type checking and normalisation. PhD thesis, University of Nottingham.

This list was generated on Mon May 20 05:54:22 2013 BST.