Issue Date | Title | Author(s) | Relation | scopus | WOS | Fulltext/Archive link |
---|---|---|---|---|---|---|
2008 | Maximum segment sum is back: deriving algorithms for two segment problems with bounded lengths | Mu, S-C. | ||||
2000 | On building trees with minimum height, relationally | Mu, S-C.; Bird, R. S. | ||||
2000 | Optimisation problems in logic programming: an algebraic approach | Seres, S.; Mu, S-C. | ||||
2001 | Quantum functional programming | Mu, S-C.; Bird, R. S. | ||||
2003 | Rebuilding a tree from its traversals: a case study of program inversion | Mu, S-C.; Bird, R. S. | ||||
2003 | Theory and applications of inverting functions as folds | Mu, S-C.; Bird, R. S. | Science of Computer Programming 51, 87-116 | |||
2008 | XML Stream Processing Using a Lazy Concurrent Language | Mu, S-C.; Tsai, T-C.; Nakano, K. |