Davies, Rowan

Davies, Rowan
All Links

Share this:

Details of Davies, Rowan

About Davies, Rowan
Davies, Rowan- Carnegie Mellon University - Standard ML with refinement-type checking, relationships between modal logics and programming languages.
Research Groups