5 citations · 14 across the 8 of their papers we have counts for
Showing 2017Show all
2 papers · 1 filter
cs.PL2017★ 5 cited
Dependent Session Types
Hanwen Wu, Hongwei Xi
Session types offer a type-based discipline for enforcing communication protocols in distributed programming. We have previously formalized simple session types in the setting of m…
math.LO2017★ 2 cited
Multirole Logic (Extended Abstract)
Hongwei Xi, Hanwen Wu
We identify multirole logic as a new form of logic in which conjunction/disjunction is interpreted as an ultrafilter on the power set of some underlying set (of roles) and the noti…