Browse by Supervisors

Up a level
Export as [feed] RSS 1.0 [feed] RSS 2.0
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 Apr 19 05:59:25 2024 UTC.