Browse by Person (creator, editor, contributor, etc.)
Up a level |
Jump to: Article | Conference or workshop item
Number of items: 5.
Article
Hu, Zhenjiang and Hughes, John and Wang, Meng (2015) How functional programming mattered. National Science Review, 2 (3). pp. 349-370. ISSN 2095-5138. E-ISSN 2053-714X. (doi:https://doi.org/10.1093/nsr/nwv042) (Full text available) |
Wang, Meng and Gibbons, Jeremy and Matsuda, Kazutaka and Hu, Zhenjiang (2013) Refactoring pattern matching. Science of Computer Programming, 78 (11). pp. 2216-2242. ISSN 0167-6423. (doi:https://doi.org/10.1016/j.scico.2012.07.014) (Full text available) |
Voigtlander, Janis and Hu, Zhenjiang and Matsuda, Kazutaka and Wang, Meng (2013) Enhancing Semantic Bidirectionalization via Shape Bidirectionalizer Plug-ins. Journal of Functional Programming, 23 (05). pp. 515-551. ISSN 0956-7968. (doi:https://doi.org/10.1017/S0956796813000130) (Full text available) |
Conference or workshop item
Voigtlander, Janis and Hu, Zhenjiang and Matsuda, Kazutaka and Wang, Meng (2010) Combining Syntactic and Semantic Bidirectionalization. In: Proceedings of the 15th ACM SIGPLAN international conference on Functional programming. pp. 181-192. ISBN 978-1-60558-794-3. (Full text available) |
Wang, Meng and Gibbons, Jeremy and Matsuda, Kazutaka and Hu, Zhenjiang (2010) Gradual Refinement: Blending Pattern Matching with Data Abstraction. In: Proceedings of the 10th International Conference on Mathematics of Program Construction. ISBN 978-3-642-13320-6. (Full text available) |