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.
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]
Possibly Related PublicationsThe following publications are possibly variants of this publication: Statement map: reducing web information credibility noise through opinion classificationKoji Murakami, Eric Nichols, Junta Mizuno, Yotaro Watanabe, Shouko Masuda, Hayato Goto, Megumi Ohki, Chitose Sao, Suguru Matsuyoshi, Kentaro Inui, Yuji Matsumoto. and 2010: 59-66 [doi]
The following publications are possibly variants of this publication: