Issue Date | Title | Author(s) | Relation | scopus | WOS | Fulltext/Archive link |
---|---|---|---|---|---|---|
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. |