Issue Date | Title | Author(s) | Relation | scopus | WOS | Fulltext/Archive link |
---|---|---|---|---|---|---|
2010 | Constructing datatype-generic fully polynomial-time approximation schemes using generalised thinning | Mu, Shin-Cheng; Lyu, Yu-Han; Morihata, Akimasa | ||||
2011 | Constructing list homomorphisms from proofs | Chi, Yun-Yan; Mu, Shin-Cheng | ||||
2011 | Generalising and Dualising the Third List-Homomorphism Theorem | Mu, Shin-Cheng; Morihata, Akimasa | ||||
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 |