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