• Login
• Admin

C

Capper, John (2014) Semantic methods for functional hybrid modelling. PhD thesis, University of Nottingham.

Chen, Wei (2012) Types, rings, and games. PhD thesis, University of Nottingham.

G

Giorgidze, George (2012) First-class models: on a noncausal language for higher-order and structurally dynamic modelling and simulation. PhD thesis, University of Nottingham.

R

Rypacek, Ondrej (2010) Distributive laws in programming structures. PhD thesis, University of Nottingham.

S

Sculthorpe, Neil (2011) Towards safe and efficient functional reactive programming. PhD thesis, University of Nottingham.