4 citations · 4 across the 2 of their papers we have counts for
2 papers
cs.PL2016★ 4 cited
Session Types in a Linearly Typed Multi-Threaded Lambda-Calculus
Hongwei Xi, Zhiqiang Ren, Hanwen Wu +1
We present a formalization of session types in a multi-threaded lambda-calculus (MTLC) equipped with a linear type system, establishing for the MTLC both type preservation and glob…
cs.PL2012
A Programmer-Centric Approach to Program Verification in ATS
Zhiqiang Ren, Hongwei Xi
Formal specification is widely employed in the construction of high-quality software. However, there is often a huge gap between formal specification and actual implementation. Whi…