Dengping Zhu

List of publications from the DBLP Bibliography Server - FAQ

Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

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

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

Coauthor Index

1 Chiyan Chen [2]

2 Hongwei Xi [1] [2] [3]