| |
| 2005 | ||
|---|---|---|
| 3 | EE | Dengping Zhu, Hongwei Xi: Safe Programming with Pointers Through Stateful Views. PADL 2005: 83-97 |
| 2004 | ||
| 2 | EE | Chiyan Chen, Dengping Zhu, Hongwei Xi: Implementing Cut Elimination: A Case Study of Simulating Dependent Types in Haskell. PADL 2004: 239-254 |
| 2003 | ||
| 1 | EE | Dengping Zhu, Hongwei Xi: A Typeful and Tagless Representation for XML Documents. APLAS 2003: 89-104 |
| 1 | Chiyan Chen | [2] |
| 2 | Hongwei Xi | [1] [2] [3] |