Browse by Supervisors
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. |
