Web Directory

    Top: Computers: Computer_Science: People: D:

 

Davies, Rowan

  Link Details for: Davies, Rowan
Link Title: Davies, Rowan Open in a new window
Link URL: http://www.cs.cmu.edu/~rowan/
Link Details: Carnegie Mellon University - Standard ML with refinement-type checking, relationships between modal logics and programming languages.
Category: Top : Computers : Computer_Science : People : D
Link Type: Lock this listing - So it can't be removedLock this listing - and upgrade it to FeaturedReport this listingAdd a regular link to the same category
ScreenShot:
Davies, Rowan