1. Home
  2. Computer
  3. Computer Science
  4. Davies, Rowan

Computer · Computer Science

Davies, Rowan

Listed in the directory · updated 21 Jul 2022

Visit website

Find them on

Share

About Davies, Rowan

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

Tags

Research Groups

Where it sits

Computer Computer Science

More in Computer Science

See all →