MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Dengping Zhu" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

5 documents found, showing 1 through 5.

ATOM

A Typeful and Tagless Representation for Xml Documents
by Dengping Zhu, Hongwei Xi — 2003 — In Proc. of the First Asian Symposium on Programming Languages and Systems
…A Typeful and Tagless Representation for XML Documents # Dengping Zhu and Hongwei Xi Computer…
Cited by 1 (0 self) – Add To MetaCart

Safe Programming with Pointers through Stateful Views
by Dengping Zhu, Hongwei Xi — 2005 — In Proceedings of the 7th International Symposium on Practical Aspects of Declarative Languages
…Safe Programming with Pointers through Stateful Views ⋆ Dengping Zhu and Hongwei Xi Computer…
Cited by 18 (2 self) – Add To MetaCart

Applied Type System with Stateful Views
by Hongwei Xi, Dengping Zhu, Yanka Li — 1998 — Carnegie Mellon University
…Applied Type System with Stateful Views ∗ Hongwei Xi Dengping Zhu Yanka Li Boston University…
Cited by 4 (1 self) – Add To MetaCart

Implementing Cut Elimination: A Case Study of Simulating Dependent Types in Haskell
by Chiyan Chen, Dengping Zhu, Hongwei Xi — 2004 — In Proceedings of the 6th International Symposium on Practical Aspects of Declarative Languages
… Dengping Zhu Hongwei Xi Computer Science Department Boston University {chiyan…
Cited by 11 (4 self) – Add To MetaCart

Applied Type System with Stateful Views
by Hongwei Xi Dengping, Hongwei Xi, Dengping Zhu, Yanka Li — 1998 — Carnegie Mellon University
…Applied Type System with Stateful Views ∗ Hongwei Xi Dengping Zhu Yanka Li Boston University…
Add To MetaCart

Showing 1 through 5.

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB