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 Wed Apr 23 08:42:44 2014 BST.