Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
A Dependently Typed Programming Language, with applications to Foundational Certified Code Systems
 

Summary: A Dependently Typed Programming Language, with
applications to Foundational Certified Code Systems
Susmit Sarkar
CMU-CS-09-128
May 2009
School of Computer Science
Carnegie Mellon University
Pittsburgh, PA 15213
Thesis Committee:
Karl Crary, chair
Robert Harper
Peter Lee
Andrew Appel, Princeton University
Submitted in partial fulfillment of the requirements
for the degree of Doctor of Philosophy.
Copyright c 2009 Susmit Sarkar
This research was sponsored by the National Science Foundation under grant numbers CCR-0121633 and CCR-9984812. The
views and conclusions contained in this document are those of the author and should not be interpreted as representing the
official policies, either expressed or implied, of any sponsoring institution, the U.S. government or any other entity.
Keywords: Type Theory, Dependent Types, Functional Programming, Proof Carrying Code, Founda-

  

Source: Andrews, Peter B. - Department of Mathematical Sciences, Carnegie Mellon University

 

Collections: Mathematics