公開日期 | 題名 | 作者 | 關聯 | scopus | WOS | 全文 |
---|---|---|---|---|---|---|
2000 | Out-of-core functional programming with type-based primitives | Chuang, Tyng-Ruey; Mu, Shin-Cheng | ||||
2011 | Programming from Galois Connections | Mu, Shin-Cheng; Oliveira, Jose Nuno | ||||
2012 | Programming from Galois connections | Mu, Shin-Cheng; Oliveira, José Nuno | Journal of Logic and Algebraic Programming 81, 680–704 |