• Login
• Admin

2024

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

2023

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

2022

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

2020

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

2019

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

2018

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

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

2017

Dijkstra, Gabe (2017) Quotient inductive-inductive definitions. 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.

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

2016

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

2015

Kraus, Nicolai (2015) Truncation levels in homotopy type theory. PhD thesis, University of Nottingham.