for the few of us.

S-C. Mu, T-C. Tsai, and K. Nakano. XML stream processing using a lazy concurrent language. In Programming Language Techniques for XML (PLAN-X 2008). January 2008.
[PDF]

Prototype implementation of a language Push, accompanying our recently submitted paper. The prototype is implemented and prepared by Ta-Chung Tsai.

While studying XML stream processing, we noticed that programmers need concurrency to save space, especially in a lazy language. We propose the idea of pushing datatypes — when a pushing closure is demanded, all expressions referring to it are evaluated concurrently to weak head normal forms. The closure is no more alive and may thus be garbage collected.

[GZipped Tarball]

K. Nakano and S-C. Mu. A pushdown machine for recursive XML processing. In The Fourth Asian Symposium on Programming Language and Systems, LNCS 4279, pp. 340-356, November 2006.
[PDF]