External Links

Cite Key

Statistics

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

PDF

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.

Safe functional systems through integrity types and verified assembly

Michael Christensen 0001, Joseph McMahan, Lawton Nichols, Jared Roesch, Timothy Sherwood, Ben Hardekopf. Safe functional systems through integrity types and verified assembly. Theoretical Computer Science, 851:39-61, 2021. [doi]

Authors

Michael Christensen 0001

This author has not been identified. Look up 'Michael Christensen 0001' in Google

Joseph McMahan

This author has not been identified. Look up 'Joseph McMahan' in Google

Lawton Nichols

This author has not been identified. Look up 'Lawton Nichols' in Google

Jared Roesch

This author has not been identified. Look up 'Jared Roesch' in Google

Timothy Sherwood

This author has not been identified. Look up 'Timothy Sherwood' in Google

Ben Hardekopf

This author has not been identified. Look up 'Ben Hardekopf' in Google
runs on