Browse by Supervisors

[up] Up a level
Group by: Creators | Date | No Grouping
Number of items: 5.

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.

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

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

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.