Searching for authors named "Dengping Zhu" – sorted by Relevance.
-
A Typeful and Tagless Representation for Xml Documents
- 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
- 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
- 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
- Dengping Zhu Hongwei Xi Computer Science Department Boston University {chiyan
- Cited by 11 (4 self) – Add To MetaCart
-
Applied Type System with Stateful Views
- Applied Type System with Stateful Views ∗ Hongwei Xi Dengping Zhu Yanka Li Boston University
- Add To MetaCart

