pith. sign in

Hongwei Xi

Identifiers

  • name variant Hongwei Xi 0.60 · backfill

Papers (11)

  1. To Memory Safety through Proofs cs.PL · 2018 · author #1
  2. Implementing Linking in Multiparty Sessions (Extended Abstract) cs.PL · 2018 · author #2
  3. Multiparty Dependent Session Types (Extended Abstract) cs.PL · 2018 · author #2
  4. Dependent Session Types cs.PL · 2017 · author #2
  5. Applied Type System: An Approach to Practical Programming with Theorem-Proving cs.PL · 2017 · author #1
  6. Multirole Logic (Extended Abstract) math.LO · 2017 · author #1
  7. Propositions in Linear Multirole Logic as Multiparty Session Types cs.PL · 2016 · author #1
  8. Linearly Typed Dyadic Group Sessions for Building Multiparty Sessions cs.PL · 2016 · author #1
  9. Session Types in a Linearly Typed Multi-Threaded Lambda-Calculus cs.PL · 2016 · author #1
  10. A robust and efficient method for estimating enzyme complex abundance and metabolic flux from expression data q-bio.MN · 2014 · author #6
  11. A Programmer-Centric Approach to Program Verification in ATS cs.PL · 2012 · author #2

Mentions

  • 1404.4755 #6 · backfill · confidence 0.70 Hongwei Xi
  • 1203.6102 #2 · backfill · confidence 0.70 Hongwei Xi

Frequent Coauthors