Browse by Person (creator, editor, contributor, etc.)
 | Up a level |
Jump to: Article | Conference or workshop item
Number of items: 8.
Article
| Matsuda, Kazutaka and Wang, Meng (2014) “Bidirectionalization for Free” for Monomorphic Transformations. Science of Computer Programming, 111 (Part 1). pp. 79-109. ISSN 0167-6423. (doi:https://doi.org/10.1016/j.scico.2014.07.008) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided) |
![[img]](https://kar.kent.ac.uk/style/images/fileicons/application_pdf.png)
|
| 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
| Matsuda, Kazutaka and Wang, Meng (2015) Applicative Bidirectional Programming with Lenses. In: ACM SIGPLAN International Conference on Functional Programming, 31 August – 2 September, 2015, Vancouver, British Columbia, Canada. (Full text available) |
|
| Matsuda, Kazutaka and Wang, Meng (2013) Bidirectionalization for Free with Runtime Recording: Or, a Light-Weight Approach to the View-Update Problem. In: Proceedings of the 15th Symposium on Principles and Practice of Declarative Programming. pp. 297-308. ISBN 978-1-4503-2154-9. (doi:https://doi.org/10.1145/2505879.2505888) (Full text available) |
|
| Matsuda, Kazutaka and Wang, Meng (2013) FliPpr: A Prettier Invertible Printing System. In: 22nd European Symposium on Programming. pp. 101-120. ISBN 978-3-642-37035-9. E-ISBN 978-3-642-37036-6. (doi:https://doi.org/10.1007/978-3-642-37036-6_6) (Full text available) |
|
| 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) |
|
