• Login
• Admin

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

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

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

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

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.

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.

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

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.