Davies, Rowan

cs.cmu.edu

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

Rate This Site

More in D Report

QR Code

Download PNG

Embed Badge

<a href="https://e-sygoing.link/go/5756662" title="Davies, Rowan"><img src="https://e-sygoing.link/badge.php?lid=5756662" alt="Listed on e-sygoing.link" height="20"></a>

Place this code on your website to show you're listed here.

Davies, Rowan

Rate This Site

Submit Your Site

Related Links