Search results for: Shin-Cheng Mu
Journal of Logical and Algebraic Methods in Programming > 2016 > 85 > 5(P2) > 879-905
Lecture Notes in Computer Science > Programming Languages and Systems > Session 2: Functional Programming > 74-88
Lecture Notes in Computer Science > Mathematics of Program Construction > Contributed Papers > 209-232
Lecture Notes in Computer Science > Algebraic and Coalgebraic Methods in the Mathematics of Program Construction > 282-309
Lecture Notes in Computer Science > Practical Aspects of Declarative Languages > Functional Programming > 32-46
Lecture Notes in Computer Science > Mathematics of Program Construction > Contributed Papers > 289-313
Science of Computer Programming > 2015 > 98 > Part 4 > 484-515
Journal of Logic and Algebraic Programming > 2012 > 81 > 6 > 680-704
Higher-Order and Symbolic Computation > 2008 > 21 > 1-2 > 89-118
Science of Computer Programming > 2004 > 51 > 1-2 > 87-116