Dengping Zhu

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

2005

3 Dengping Zhu, Hongwei Xi: Safe Programming with Pointers Through Stateful Views. PADL 2005: 83-97

2004

2 Chiyan Chen, Dengping Zhu, Hongwei Xi: Implementing Cut Elimination: A Case Study of Simulating Dependent Types in Haskell. PADL 2004: 239-254

2003

1 Dengping Zhu, Hongwei Xi: A Typeful and Tagless Representation for XML Documents. APLAS 2003: 89-104

	2005
3		Dengping Zhu, Hongwei Xi: Safe Programming with Pointers Through Stateful Views. PADL 2005: 83-97
	2004
2		Chiyan Chen, Dengping Zhu, Hongwei Xi: Implementing Cut Elimination: A Case Study of Simulating Dependent Types in Haskell. PADL 2004: 239-254
	2003
1		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]