• Login
• Admin

B

Bracker, Jan (2018) Unified notions of generalised monads and applicative functors. PhD thesis, University of Nottingham.

C

Chupin, Guerric (2022) Efficient implementations of expressive modelling languages. PhD thesis, University of Nottingham.

F

Fowler, Jonathan (2019) Narrowing in on property-based testing. PhD thesis, University of Nottingham.

M

Mitchelmore, Robert Eurig (2016) The usefulness of case in plastic user interfaces. PhD thesis, University of Nottingham.

P

Perez Dominguez, Ivan (2018) Extensible and robust functional reactive programming. PhD thesis, University of Nottingham.

S

Saenz Carrasco, Juan Carlos (2016) Functional programming and non-distributivity in pathfinding problems. MPhil thesis, The University of Nottingham.

V

van Gijzel, Bas (2016) A framework for relating, implementing and verifying argumentation models and their translations. PhD thesis, University of Nottingham.

W

Ward, Wil O. C. (2018) Development of machine learning techniques for characterising changes in time-lapse resistivity monitoring. PhD thesis, University of Nottingham.