Notes in Computer Science, Vol. 1419, Springer-Verlag, Berlin, , 1998. George C. Necula. Compiling with Proofs. PhD thesis, School of Computer Science, Carnegie Mellon Univ., Sept. 1998. Computer security Dependently typed programming Formal methods Programming language theory