Hanwen Wu

Identifiers

No identifiers captured yet.

Papers (7)

1. Implementing Linking in Multiparty Sessions (Extended Abstract) cs.PL · 2018 · author #1
2. Multiparty Dependent Session Types (Extended Abstract) cs.PL · 2018 · author #1
3. Dependent Session Types cs.PL · 2017 · author #1
4. Multirole Logic (Extended Abstract) math.LO · 2017 · author #2
5. Propositions in Linear Multirole Logic as Multiparty Session Types cs.PL · 2016 · author #2
6. Linearly Typed Dyadic Group Sessions for Building Multiparty Sessions cs.PL · 2016 · author #2
7. Session Types in a Linearly Typed Multi-Threaded Lambda-Calculus cs.PL · 2016 · author #3

Mentions

No mention provenance yet.

Frequent Coauthors

• Hongwei Xi 7 shared papers
• William Blair 1 shared papers
• Zhiqiang Ren 1 shared papers