External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 1

PDF

Tags

Bibliographies

    Researchr

    Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

    Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

    Dependent Types for Low-Level Programming

    Jeremy Condit, Matthew Harren, Zachary R. Anderson, David Gay, George C. Necula. Dependent Types for Low-Level Programming. In Rocco De Nicola, editor, Programming Languages and Systems, 16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint European Conferences on Theory and Practics of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007, Proceedings. Volume 4421 of Lecture Notes in Computer Science, pages 520-535, Springer, 2007. [doi]

    Authors

    Jeremy Condit

    This author has not been identified. Look up 'Jeremy Condit' in Google

    Matthew Harren

    This author has not been identified. Look up 'Matthew Harren' in Google

    Zachary R. Anderson

    This author has not been identified. Look up 'Zachary R. Anderson' in Google

    David Gay

    This author has not been identified. Look up 'David Gay' in Google

    George C. Necula

    This author has not been identified. Look up 'George C. Necula' in Google
    runs on