公開日期 | 題名 | 作者 | 關聯 | scopus | WOS | 全文 |
---|---|---|---|---|---|---|
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. |