Bidirectionalization transformation based on automatic derivation of view complement functions K Matsuda, Z Hu, K Nakano, M Hamana, M Takeichi ACM SIGPLAN Notices 42 (9), 47-58, 2007 | 165 | 2007 |
Bidirectionalizing graph transformations S Hidaka, Z Hu, K Inaba, H Kato, K Matsuda, K Nakano Proceedings of the 15th ACM SIGPLAN international conference on Functional …, 2010 | 137 | 2010 |
Three complementary approaches to bidirectional programming N Foster, K Matsuda, J Voigtländer Generic and Indexed Programming: International Spring School, SSGIP 2010 …, 2012 | 50 | 2012 |
Combining syntactic and semantic bidirectionalization J Voigtländer, Z Hu, K Matsuda, M Wang ACM Sigplan Notices 45 (9), 181-192, 2010 | 44 | 2010 |
Functional programs as compressed data N Kobayashi, K Matsuda, A Shinohara Proceedings of the ACM SIGPLAN 2012 workshop on Partial evaluation and …, 2012 | 38 | 2012 |
A grammar-based approach to invertible programs K Matsuda, SC Mu, Z Hu, M Takeichi Programming Languages and Systems: 19th European Symposium on Programming …, 2010 | 33 | 2010 |
Applicative bidirectional programming with lenses K Matsuda, M Wang Proceedings of the 20th ACM SIGPLAN International Conference on Functional …, 2015 | 32 | 2015 |
FliPpr: A prettier invertible printing system K Matsuda, M Wang European Symposium on Programming, 101-120, 2013 | 32 | 2013 |
Hobit: Programming lenses without using lens combinators K Matsuda, M Wang Programming Languages and Systems: 27th European Symposium on Programming …, 2018 | 29 | 2018 |
Refactoring pattern matching M Wang, J Gibbons, K Matsuda, Z Hu Science of Computer Programming 78 (11), 2216-2242, 2013 | 22 | 2013 |
Polynomial-time inverse computation for accumulative functions with multiple data traversals K Matsuda, K Inaba, K Nakano Proceedings of the ACM SIGPLAN 2012 workshop on Partial evaluation and …, 2012 | 20 | 2012 |
Gradual refinement: Blending pattern matching with data abstraction M Wang, J Gibbons, K Matsuda, Z Hu International Conference on Mathematics of Program Construction, 397-425, 2010 | 20 | 2010 |
Bidirectionalization for free with runtime recording: or, a light-weight approach to the view-update problem K Matsuda, M Wang Proceedings of the 15th Symposium on Principles and Practice of Declarative …, 2013 | 19 | 2013 |
Enhancing semantic bidirectionalization via shape bidirectionalizer plug-ins J Voigtländer, Z Hu, K Matsuda, M Wang Journal of Functional Programming 23 (5), 515-551, 2013 | 19 | 2013 |
Marker-directed optimization of uncal graph transformations S Hidaka, Z Hu, K Inaba, H Kato, K Matsuda, K Nakano, I Sasano Logic-Based Program Synthesis and Transformation: 21st International …, 2012 | 18 | 2012 |
Sparcl: a language for partially-invertible computation K Matsuda, M Wang Proceedings of the ACM on Programming Languages 4 (ICFP), 1-31, 2020 | 15 | 2020 |
“Bidirectionalization for free” for monomorphic transformations K Matsuda, M Wang Science of computer programming 111, 79-109, 2015 | 15 | 2015 |
Applicative bidirectional programming: Mixing lenses and semantic bidirectionalization K Matsuda, M Wang Journal of Functional Programming 28, e15, 2018 | 12 | 2018 |
FliPpr: A System for Deriving Parsers from Pretty-Printers K Matsuda, M Wang New Generation Computing 36, 173-202, 2018 | 11 | 2018 |
Embedding invertible languages with binders: a case of the FliPpr language K Matsuda, M Wang Proceedings of the 11th ACM SIGPLAN International Symposium on Haskell, 158-171, 2018 | 10 | 2018 |