Browse by Supervisors

[up] Up a level
Group by: Creators | Date | No Grouping
Jump to: C | G | R | S
Number of items: 5.

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.

This list was generated on Fri Dec 27 00:12:00 2024 UTC.