Safe Programming with Pointers through Stateful Views (2005)
The need for direct memory manipulation through pointers is essential in many applications. However, it is also commonly understood that the use (or probably misuse) of pointers is often a rich...
Safe Programming with Pointers through Stateful Views (2005)
Dengping Zhu And Hongwei Xi, Dengping Zhu, Hongwei Xi
The need for direct memory manipulation through pointers is essential in many applications. However, it is also commonly understood that the use (or probably misuse) of pointers is often a rich...
Implementing Cut Elimination: A Case Study of Simulating Dependent Types in Haskell (2004)
Chiyan Chen, Dengping Zhu, Hongwei Xi
Gentzen's Hauptsatz -- cut elimination theorem -- in sequent calculi reveals a fundamental property on logic connectives in various logics such as classical logic and intuitionistic logic. In...
A Typeful and Tagless Representation for XML Documents (2003)
Abstract. When constructing programs to process XML documents, we immediately face the question as to how XML documents should be represented internally in the programming language we use. Currently,...
A Typeful and Tagless Representation for XML Documents (2003)
When constructing programs to process XML documents, we immediately face the question as to how XML documents should be represented internally in the programming language we use. Currently, most...
Implementing Cut Elimination: A Case Study of Simulating Dependent Types in Haskell (2003)
Chiyan Chen Dengping, Chiyan Chen, Dengping Zhu, Hongwei Xi
Gentzen's Hauptsatz -- cut elimination theorem -- in sequent calculi reveals a fundamental property on logic connectives in various logics such as classical logic and intuitionistic logic. In...
Applied Type System with Stateful Views (1998)
Hongwei Xi, Dengping Zhu, Yanka Li
We present a type system that can effectively facilitate the use of types in capturing invariants in stateful programs that may involve (sophisticated) pointer manipulation. With its root in a...
Applied Type System with Stateful Views (1998)
Hongwei Xi Dengping, Hongwei Xi, Dengping Zhu, Yanka Li
We present a type system that can effectively facilitate the use of types in capturing invariants in stateful programs that may involve (sophisticated) pointer manipulation. With its root in a...
Applied Type System with Stateful Views (1998)
Hongwei Xi, Dengping Zhu, Yanka Li
We present a type system that can effectively facilitate the use of types in capturing invariants in stateful programs that may involve (sophisticated) pointer manipulation. With its root in a...