Sciweavers

11 search results - page 3 / 3
» Program Extraction From Proofs of Weak Head Normalization
Sort
View
PLANX
2008
13 years 6 months ago
XML Stream Processing Using a Lazy Concurrent Language
Motivated by previous work on XML stream processing, we noticed that programmers need concurrency to save space, especially in a lazy language. User-controllable concurrency provi...
Shin-Cheng Mu, Ta-Chung Tsai, Keisuke Nakano