Thomas Harren und Dependent Types - Info zur Person

(1 - 4 von 4

)

Matthew Harren - The Mathematics Genealogy Project

www.genealogy.math.ndsu.nodak.edu

Matthew Thomas Harren. MathSciNet. Ph.D. University of California, Berkeley UnitedStates. Dissertation: Dependent Types for Assembly Code Safety.

Ph.D. Dissertations | EECS at UC Berkeley

www2.eecs.berkeley.edu

Matthew Thomas Harren [advisor: George Necula]. Dependent Types for Safe Systems Software Jeremy Paul Condit [advisor: George Necula]. Design of a ...

CiteSeerX — Dependent types for low-level programming

citeseerx.ist.psu.edu

by Jeremy Paul Condit , Matthew Thomas Harren , Zachary Ryan Anderson , George Necula , Jeremy Condit , Matthew Harren , Zachary Anderson , David Gay ...