5 citations · 7 across the 5 of their papers we have counts for
Showing 2017Show all
3 papers · 1 filter
cs.PL2017★ 5 cited
Applied Type System: An Approach to Practical Programming with Theorem-Proving
Hongwei Xi
The framework Pure Type System (PTS) offers a simple and general approach to designing and formalizing type systems. However, in the presence of dependent types, there often exist…
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…
cs.PL2017
Dependent Types for Multi-Rate Flows in Synchronous Programming
William Blair, Hongwei Xi
Synchronous programming languages emerged in the 1980s as tools for implementing reactive systems, which interact with events from physical environments and often must do so under…