• 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.

D

Dijkstra, Gabe (2017) Quotient inductive-inductive definitions. PhD thesis, University of Nottingham.

F

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

H

Hackett, Jennifer L.P. (2017) The worker-wrapper transformation: getting it right and making it better. PhD thesis, University of Nottingham.

Handley, Martin AT (2020) Efficiency three ways: tested, verified, and formalised. PhD thesis, University of Nottingham.

Hewer, Brandon (2024) Types with extra structure: predicates, equations, composition. PhD thesis, University of Nottingham.

K

Kaposi, Ambrus (2017) Type theory in a type theory with quotient inductive types. PhD thesis, University of Nottingham.

Kraus, Nicolai (2015) Truncation levels in homotopy type theory. 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.

Sestini, Filippo (2023) Bootstrapping extensionality. PhD thesis, University of Nottingham.