-
[文献書誌] Zhenjiang Hu: "Deriving Structural Hylomorphisms from Recursive Definitions." ACM International Conference on Functional Programming (ICFP′96). 73-82 (1996)
-
[文献書誌] Zhenjiang Hu: "Formal Derivation of Parallel Program for 2-dimensional Maximum Segment Sum Problem." Annual European Conference in Parallel Processing(Euro-Par′96) Springer LNCS 1123. 553-562 (1996)
-
[文献書誌] Zhenjiang Hu: "Construction of List Homomorphisms via Tupling and Fusion." 21st International Symposium on Mathematical Foundation of Computer Science(MFCS′96),Springer LNCS 1113. 407-418 (1996)
-
[文献書誌] Zhenjiang Hu: "Cheap Tupling in Calculational Form." 8th International Symposium on Programming Languages,Implementations,Logics,and Programs,Springer LNCS. 471-472 (1996)
-
[文献書誌] Zhenjiang Hu: "An Extension of the Acid Rain Theorem" Proc.The Second Fuji International Workshop on Functional and Logic Programming,World Scientific. (1997)