フォロー
Kazutaka Matsuda
Kazutaka Matsuda
確認したメール アドレス: ecei.tohoku.ac.jp - ホームページ
タイトル
引用先
引用先
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
1652007
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
1372010
Three complementary approaches to bidirectional programming
N Foster, K Matsuda, J Voigtländer
Generic and Indexed Programming: International Spring School, SSGIP 2010 …, 2012
502012
Combining syntactic and semantic bidirectionalization
J Voigtländer, Z Hu, K Matsuda, M Wang
ACM Sigplan Notices 45 (9), 181-192, 2010
442010
Functional programs as compressed data
N Kobayashi, K Matsuda, A Shinohara
Proceedings of the ACM SIGPLAN 2012 workshop on Partial evaluation and …, 2012
382012
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
332010
Applicative bidirectional programming with lenses
K Matsuda, M Wang
Proceedings of the 20th ACM SIGPLAN International Conference on Functional …, 2015
322015
FliPpr: A prettier invertible printing system
K Matsuda, M Wang
European Symposium on Programming, 101-120, 2013
322013
Hobit: Programming lenses without using lens combinators
K Matsuda, M Wang
Programming Languages and Systems: 27th European Symposium on Programming …, 2018
292018
Refactoring pattern matching
M Wang, J Gibbons, K Matsuda, Z Hu
Science of Computer Programming 78 (11), 2216-2242, 2013
222013
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
202012
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
202010
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
192013
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
192013
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
182012
Sparcl: a language for partially-invertible computation
K Matsuda, M Wang
Proceedings of the ACM on Programming Languages 4 (ICFP), 1-31, 2020
152020
“Bidirectionalization for free” for monomorphic transformations
K Matsuda, M Wang
Science of computer programming 111, 79-109, 2015
152015
Applicative bidirectional programming: Mixing lenses and semantic bidirectionalization
K Matsuda, M Wang
Journal of Functional Programming 28, e15, 2018
122018
FliPpr: A System for Deriving Parsers from Pretty-Printers
K Matsuda, M Wang
New Generation Computing 36, 173-202, 2018
112018
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
102018
現在システムで処理を実行できません。しばらくしてからもう一度お試しください。
論文 1–20